Functional programming : :: SCD d'Orléans

Functional programming : application and implementation

Functional programming : application and implementation

Salvato in:

Dettagli Bibliografici
Autore principale:	Henderson, Peter
Natura:	Livre papier
Lingua:	Anglais
Pubblicazione:	Englewood Cliffs (N.J.) ; London ; New Delhi [etc.] : Prentice-Hall International cop. 1980.
Serie:	rentice-Hall international series in computer science
Soggetti:	Programmation fonctionnelle (informatique)
Autres localisations:	Voir dans le Sudoc

Documenti analoghi

Advanced functional programming : first International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text

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

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

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

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

Advanced functional programming : 4th international school, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures

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

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

Foundations of logic and functional programming : Workshop, Trento, Italy, December 15 19, 1986 : proceedings

Functional programming languages and computer architecture : Nancy, France, September 16 19, 1985

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

Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
di: Lauer, Peter E., 1934-

Combinators and functional programming languages : Thirteenth Spring school of the LITP, Val d'Ajol, France, May 6-10, 1985 : proceedings

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

Functional programming languages in education : first international symposium, FPLE '95, Nijmegen, the Netherlands, December 4-6, 1995 : proceedings

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

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

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

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

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

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

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

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

La programmation applicative : de LIPS [i.e. LISP] à la machine en passant par le lambda-calcul
di: Saint-James, Emmanuel, 1956-
Pubblicazione: (1993)

Programmation fonctionnelle : spécifications & applications
di: Couturier, Alain, 1938-, et al.
Pubblicazione: (2003)

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

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

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

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

Mini manuel de programmation fonctionnelle : cours + exos
di: Violard, Éric, 19..-
Pubblicazione: (2014)

Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels
di: Tesson, Julien, 1982-
Pubblicazione: (2011)

Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation
di: Pinsard, Thomas, 1984-
Pubblicazione: (2014)

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

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

Programming languages implementation and logic programming : [first] International Workshop PLILP '88 Orléans, France, May 16 18, 1988 : proceedings

Modéles opérationnels communicants : performances et algèbres de chemins
di: Merlin, Armelle
Pubblicazione: (2004)

Functional analysis
di: Lax, Peter D., 1926-2025, mathématicien
Pubblicazione: (2002)

Extreme programming
di: Beck, Kent, 1961-
Pubblicazione: (2002)

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

Memory safety for synchronous reactive programming
di: Rammal, Darine, 1996-
Pubblicazione: (2024)

© 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