La programmation applicative : :: SCD d'Orléans

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

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

Guardat en:

Dades bibliogràfiques
Autor principal:	Saint-James, Emmanuel, 1956-
Format:	Livre papier
Idioma:	Français
Publicat:	Paris : Hermès Imp. 1993
Col·lecció:	Langue, raisonnement, calcul
Matèries:	Lambda-calcul LISP (langage de programmation) Programmation fonctionnelle (informatique) Langages de programmation fonctionnelle
Autres localisations:	Voir dans le Sudoc

Ítems similars

Génération automatique d'interfaces pour langages fonctionnels
per: El Amrani, Younès
Publicat: (1996)

Programmer en LISP
per: Farreny del Bosque, Henri
Publicat: (1984)

LISP : une introduction à la programmation
per: Wertz, Harald, 1947-
Publicat: (1985)

LISP : mode d'emploi
per: Queinnec, Christian, 1951-
Publicat: (1984)

Intelligence artificielle en LISP et Prolog
per: Kabbaj, Adil, 19..-...., enseignant en informatique
Publicat: (1991)

Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings

Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings

Concepts et outils de programmation : le style fonctionnel, le style impératif, avec Caml et Ada
per: Accart Hardin, Thérèse, et al.
Publicat: (1992)

Structure et interprétation des programmes informatiques
per: Abelson, Harold, 1947-, et al.
Publicat: (1989)

Parallel lisp : languages and systems : US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989 : proceedings

Structure and interpretation of computer programs
per: Abelson, Harold, et al.
Publicat: (1985)

Le petit LISPien
per: Friedman, Daniel P., 1944-, et al.
Publicat: (1991)

La programmation fonctionnelle : introduction et applications en Haskell à l'usage de l'étudiant et du développeur
per: Dehos, Julien, 1983-
Publicat: (2019)

La programmation fonctionnelle : introduction et applications en Haskell à l'usage de l'étudiant et du développeur
per: Dehos, Julien, 1983-
Publicat: (2019)

Java pour les professionnels : outils et méthodes
per: Molière, Jérôme
Publicat: (2023)

Java pour les professionnels : outils et méthodes
per: Molière, Jérôme
Publicat: (2023)

512 problèmes corrigés Pascal, C++, Lisp, Prolog
per: Gacôgne, Louis, 19..-
Publicat: (1996)

Programmation fonctionnelle, générique et objet : une introduction avec le langage OCaml
per: Narbel, Philippe, 1963-
Publicat: (2005)

Logique, réduction, résolution
per: Lalement, René, 19..-...., Mathématicien
Publicat: (1990)

Approche fonctionnelle des calculs scientifiques : méthodes numériques et applications : langage Python
per: Jean-Baptiste, Gérald
Publicat: (2016)

Développement d'applications avec Objective Caml
per: Chailloux, Emmanuel, 1959-, et al.
Publicat: (2000)

Real world OCaml : functional programming for the masses
per: Madhavapeddy, Anil, et al.
Publicat: (2022)

Implementation of functional languages : 13th International Workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers

Implementation of functional languages : 8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16 18, 1996 : selected papers

Implementation of functional languages : 9th international workshop, IFL'97 St. Andrews, Scotland, UK, September 10 12, 1997 : selected papers

Implementation of functional languages : 10th International Workshop, IFL 98 London, UK, September 9 11, 1998 : selected papers

Implementation of functional languages : 14th international workshop, IFL 2002, Madrid, Spain, September 16-18, 2002 : revised selected papers

Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 2000 : selected papers

Implementation of functional languages : 11th international workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999 : selected papers

Apprentissage de la programmation avec OCaml
per: Dubois, Catherine, 19..-...., informaticienne, et al.
Publicat: (2004)

The generic development language Deva : presentation and case studies
per: Weber, Matthias, et al.

Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text

Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987 : proceedings

Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings

Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15 17, 2002 : proceedings

Functional and logic programming : ; proceedings 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004

Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7 9, 2001 : proceedings

Functional and logic programming : 4th Fuji International Symposium, FLOPS 99, Tsukuba, Japan, November 11-13, 1999 : proceedings

OCaml from the very beginning
per: Whitington, John
Publicat: (2013)

Advanced functional programming : Third International School, AFP 98, Braga, Portugal, September 12-19, 1998 : revised lectures

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales