1
Material Type:
Livro
Functional programming languages and computer architecture proceedings
Conference on Functional Programming Languages and Computer Architecture (3. 1987 Portland) Gilles Kahn
Berlin Springer 1987
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.43 C76f 3. ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Modular programming languages Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 : proceedings
Joint Modular Languages Conference d(2003 Klagenfurt, Austria) Laszlo Boszormenyi; Peter Schojer
Berlin Springer New York 2003
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2789 ) (Acessar)
This feature requires javascript
3
Material Type:
Livro
Programming languages implementations,, logics, and programs ; proceedings [of the] 8th international symposium, plilp'96, held in aachen, germany, september, 1996
International Workshop on Programming Languages Implementation and Logic Programming (8. 1996 Aachen, De) Herbert Kuchen; S Swierstra
Berlin Springer 1996
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 lncs V.1140 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
Programming languages implementation and logic programming proceedings
International Workshop on Programming Language Implementation and Logic Programming , 1., Orleans, 1988 Pierre Deransart; Bernard Lorho
Berlin Springer 1989
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.348 e.1 ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Livro
Combinators and functional programming languages proceedings
Spring School of the Laboratoire Informatique Theorique et Programmation (13. 1985 Val D'ajol) Guy Cousineau
Berlin Springer 1986
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.242 ex.1 ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Livro
Coroutines a programming methodology, a language design, and an implementation
Christopher D. Marlin 1952-
Berlin New York Springer-Verlag 1980
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.95 ex.1 ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Livro
Practical aspects of declarative languages second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings
PADL '2000 (2000 Boston, Mass.) Enrico Pontelli 1967-; Vítor Santos Costa 1961-
Berlin New York Springer c2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1753 e.1 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
Axiomatising the logic of computer programming
Robert Goldblatt
Berlin New York Springer-Verlag 1982
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.130 e.1 ) e outros locais(Acessar)
This feature requires javascript
9
Material Type:
Livro
Practical aspects of declarative languages 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings
PADL 2002 (2002 Portland, Or.) Shriram Krishnamurthi; C. R Ramakrishnan
Berlin Springer London 2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2257 ) e outros locais(Acessar)
This feature requires javascript
10
Material Type:
Livro
Computational logic logic programming and beyond : essays in honour of Robert A. Kowalski
Antonis C Kakas; Fariba Sadri 1956-; Robert Kowalski
Berlin Springer New York c2002
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.2408 p.II ) e outros locais(Acessar)
This feature requires javascript