Combinators and functional programming languages : Thirteenth Spring school of the LITP, Val d'Ajol, France, May 6-10, 1985 : proceedings
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | , , |
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais Français |
| Argitaratua: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Saila: | Lecture notes in computer science
242 |
| Gaiak: | |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
Contributions en anglais et en français Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Combinators and functional programming languages, proceedings, Thirteenth Spring school of the LITP, Val d'Ajol, France, May 6-10, 1985, 1986, Berlin, Springer-Verlag, 1 vol. (IV-208 p.), Lecture notes in computer science, 3-540-17184-3 • Combinators and Functional Programming Languages, Texte imprimé, 9783662194096 |
Aurkibidea:
- Streams are not dreams
- Amber
- The amber machine
- Sur l'analogie entre les propositions et les types
- Combinateurs Catégoriques et Implémentation des Langages Fonctionnels
- Combinators and lambda-calculus, a short outline
- Cartesian closed categories and lambda-calculus
- Cartesian closed categories and typed ?-calculi
- An introduction to fully-lazy supercombinators.