Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Combinators and Functional Programming Languages 1985: Val d'Ajol, France

> Home > Conferences and Workshops > Combinators and Functional Programming Languages

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/litp/1985
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/1985
Guy Cousineau, Pierre-Louis Curien, Bernard J. Robinet:
Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings. Lecture Notes in Computer Science 242, Springer 1986, ISBN 3-540-17184-3
- view
  authority control:
- export record
  dblp key:
  - conf/litp/BellotR85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/BellotR85
Patrick Bellot, Bernard J. Robinet:
Streams are not Dreams. 1-20
- view
  authority control:
- export record
  dblp key:
  - conf/litp/Cardelli85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Cardelli85
Luca Cardelli:
Amber. 21-47
- view
  authority control:
- export record
  dblp key:
  - conf/litp/Cardelli85a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Cardelli85a
Luca Cardelli:
The Amber Machine. 48-70
- view
  authority control:
- export record
  dblp key:
  - conf/litp/Coquand85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Coquand85
Thierry Coquand:
Sur l'Analogie entre les Propositions et les Types. 71-84
- view
  authority control:
- export record
  dblp key:
  - conf/litp/CousineauCMS85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/CousineauCMS85
Guy Cousineau, Pierre-Louis Curien, Michel Mauny, Ascánder Suárez:
Combinateures, Catégoriques et Implémentation des Languages Fonctionnels. 85-103
- view
  authority control:
- export record
  dblp key:
  - conf/litp/Hindley85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Hindley85
J. Roger Hindley:
Combinators and Lambda-Calculus. 104-122
- view
  authority control:
- export record
  dblp key:
  - conf/litp/Huet85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Huet85
Gérard P. Huet:
Cartesian closed Categories and Lambda- calculus. 123-135
- view
  authority control:
- export record
  dblp key:
  - conf/litp/Lambek85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Lambek85
Joachim Lambek:
Cartesian Closed Categories and Typed Lambda- calculi. 136-175
- view
  authority control:
- export record
  dblp key:
  - conf/litp/Jones85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Jones85
Simon L. Peyton Jones:
An Introduction to Fully-Lazy Supercombinators. 175-206

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.