Conferences in DBLP

LITP Spring School on Theoretical Computer Science (litp)
1985 (conf/litp/1985)

1. Patrick Bellot, Bernard Robinet
   Streams are not Dreams. [Citation Graph (0, 0)][DBLP]
   Combinators and Functional Programming Languages, 1985, pp:1-20 [Conf]
   
2. Luca Cardelli
   Amber. [Citation Graph (0, 0)][DBLP]
   Combinators and Functional Programming Languages, 1985, pp:21-47 [Conf]
   
3. Luca Cardelli
   The Amber Machine. [Citation Graph (0, 0)][DBLP]
   Combinators and Functional Programming Languages, 1985, pp:48-70 [Conf]
   
4. Thierry Coquand
   Sur l'Analogie entre les Propositions et les Types. [Citation Graph (0, 0)][DBLP]
   Combinators and Functional Programming Languages, 1985, pp:71-84 [Conf]
   
5. Guy Cousineau, Pierre-Louis Curien, Michel Mauny, Ascánder Suárez
   Combinateures, Catégoriques et Implémentation des Languages Fonctionnels. [Citation Graph (0, 0)][DBLP]
   Combinators and Functional Programming Languages, 1985, pp:85-103 [Conf]
   
6. J. Roger Hindley
   Combinators and Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
   Combinators and Functional Programming Languages, 1985, pp:104-122 [Conf]
   
7. Gérard P. Huet
   Cartesian closed Categories and Lambda- calculus. [Citation Graph (0, 0)][DBLP]
   Combinators and Functional Programming Languages, 1985, pp:123-135 [Conf]
   
8. Joachim Lambek
   Cartesian Closed Categories and Typed Lambda- calculi. [Citation Graph (0, 0)][DBLP]
   Combinators and Functional Programming Languages, 1985, pp:136-175 [Conf]
   
9. Simon L. Peyton Jones
   An Introduction to Fully-Lazy Supercombinators. [Citation Graph (0, 0)][DBLP]
   Combinators and Functional Programming Languages, 1985, pp:175-206 [Conf]