skip to main content
Résultats 1 2 next page
Filtré par : sujet: LAMBDA CALCUL supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
ML for the working programmer
Material Type:
Livre
Ajouter à Mon espace

ML for the working programmer

Paulson, Lawrence C. (1955-....)

Cambridge New York Victoria : Cambridge university press, 1992

Voir les exemplaires

2
La programmation applicative : de LISP à la machine en passant par le lambda-calcul
Material Type:
Livre
Ajouter à Mon espace

La programmation applicative : de LISP à la machine en passant par le lambda-calcul

Saint-James, Emmanuel (1956-....)

Paris : Hermès, 1993

Voir les exemplaires

3
Functional programming
Material Type:
Livre
Ajouter à Mon espace

Functional programming

Field, Anthony J. ; Harrison, Peter G.

Wokingham, Eng. Reading, Mass. Menlo Park, Calif. : Addison-Wesley, 1988

Voir les exemplaires

4
Constructive foundations for functional languages
Material Type:
Livre
Ajouter à Mon espace

Constructive foundations for functional languages

Turner, Raymond (1947-....)

London New York Paris, etc. : McGraw-Hill, 1991

Voir les exemplaires

5
Theoretical aspects of computer software : TACS '94... proceedings
Material Type:
Livre
Ajouter à Mon espace

Theoretical aspects of computer software : TACS '94... proceedings

International Symposium on Theoretical Aspects of Computer Software 002 Sendai 1994. ; Hagiya, Masami ; Mitchell, John C.

Berlin New York NY Paris : Springer, 1994

Voir les exemplaires

6
Material Type:
Versions multiples

Pattern calculus : computing with functions and structures

Jay, Barry.

Plusieurs versions trouvées
Il y a 2 versions

7
Mise en oeuvre des langages fonctionnels de programmation
Material Type:
Livre
Ajouter à Mon espace

Mise en oeuvre des langages fonctionnels de programmation

Peyton Jones, Simon L

Paris London : Masson Prentice-Hall, 1990

Disponible(Obtenir)

8
Two-level functional languages
Material Type:
Livre
Ajouter à Mon espace

Two-level functional languages

Nielson, Flemming (1955-) ; Nielson, Hanne Riis (1954-)

Cambridge New York, NY, USA : Cambridge University Press, 1992

Voir les exemplaires(Obtenir)

9
La programmation applicative : de LIPS [i.e. LISP] à la machine en passant par le lambda-calcul
Material Type:
Livre
Ajouter à Mon espace

La programmation applicative : de LIPS [i.e. LISP] à la machine en passant par le lambda-calcul

Saint-James, Emmanuel (1956-....)

Paris : Hermès, 1993

Disponible  et autres localisations(Obtenir)

10
Material Type:
Versions multiples

Type theory and functional programming

Thompson, Simon

Plusieurs versions trouvées
Il y a 2 versions

11
Material Type:
Livre
Ajouter à Mon espace

ICFP '13 : proceedings of the 2013 ACM SIGPLAN International conference on functional programming September 25-27, 2013, Boston(Massachusetts), USA

ICFP'13 ICFP'13 Proceedings of the 2013 ACM SIGPLAN International conference on Functional programming 18 Boston(MA) ; Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis

New York : Association for Computing Machinery, 2013

Voir les exemplaires(Obtenir)

12
Logic and computer science.
Material Type:
Livre
Ajouter à Mon espace

Logic and computer science.

Odifreddi, Piergiorgio (1950-....)

London San Diego CA Tokyo : Academic Press, 1990

Voir les exemplaires(Obtenir)

13
The Structure of typed programming languages.
Material Type:
Livre
Ajouter à Mon espace

The Structure of typed programming languages.

Schmidt, David A.

Cambridge MA London : The MIT Press, 1994

Voir les exemplaires(Obtenir)

14
Higher order operational techniques in semantics : HOOTS
Material Type:
Livre
Ajouter à Mon espace

Higher order operational techniques in semantics : HOOTS

Congrès Cambridge MA 1995. ; Gordon, Andrew D. ; Pitts, Andrew M.

Cambridge : Cambridge University Press, 1998

Voir les exemplaires(Obtenir)

15
Lambda-calculus, combinators, and functional programming.
Material Type:
Livre
Ajouter à Mon espace

Lambda-calculus, combinators, and functional programming.

Revesz, György E.

Cambridge New York NY Port Chester : Cambridge University Press, 1988

Voir les exemplaires(Obtenir)

16
The Implementation of functional programming languages
Material Type:
Livre
Ajouter à Mon espace

The Implementation of functional programming languages

Peyton Jones, Simon L

Englewood Cliffs, NJ etc. : Prentice-Hall International, 1987

Voir les exemplaires(Obtenir)

17
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP '96) : Philadelphia, Pennsylvania, May 24-26, 1996
Material Type:
Livre
Ajouter à Mon espace

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP '96) : Philadelphia, Pennsylvania, May 24-26, 1996

ACM SIGPLAN International Conference on Functional Programming ACM SIGPLAN International Conference on Functional Programming 1st Philadelphia, Pa. 1996 ; IFIP Working Group 2.8 on Functional Programming ; Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis ; Federated Computing Research Conference Philadelphia, Pa. 1996

New York N.Y. : Association for Computing Machinery, 1996

Voir les exemplaires(Obtenir)

18
Research topics in functional programming
Material Type:
Livre
Ajouter à Mon espace

Research topics in functional programming

Institute of declarative programming Institute of declarative programming 24-29 août 1987 Austin (Tex.) ; Turner, David ; University of Texas at Austin Department of Computer sciences

Reading Mass. : Addison-Wesley, 1990

Voir les exemplaires(Obtenir)

19
Material Type:
Versions multiples

Programming languages : concepts and constructs

Sethi, Ravi

Plusieurs versions trouvées
Il y a 2 versions

20
Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : (PPDP '02) Pittsburgh, Pennsylvania, USA, October 6-8, 2002
Material Type:
Livre
Ajouter à Mon espace

Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : (PPDP '02) Pittsburgh, Pennsylvania, USA, October 6-8, 2002

ACM SIGPLAN Conference on Principles and Practice of Declarative Programming ACM SIGPLAN Conference on Principles and Practice of Declarative Programming 4th Pittsburgh, Pa. 2002 ; Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis

New York, N.Y. : ACM Press, 2002

Voir les exemplaires(Obtenir)

Résultats 1 2 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

N'afficher que

  1. Disponible (3)

Date de publication 

À partir de jusqu'à
  1. Avant 1989  (3)
  2. 1989 à 1990  (8)
  3. 1991 à 1992  (4)
  4. 1993 à 1996  (6)
  5. Après 1996  (5)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré