Parallélisme, langages fonctionnels, orientés objet
Parallélisme, langages fonctionnels, orientés objet
Object Oriented, types
Axel Poigné
FAQ sur OO
JAVA
C++
Making C++ Loadable Modules Work (Frank Pilhofer)
doc c++ en ligne
Critique de C++ : Ian Joyner
Concurrent Systems Architecture Group (CSAG)
U. Illinois, Andrew Chien. Projet Concert
Illinois Concert C++
Dennis Gannon (Indiana)
JAVA parallèle (Aart Bik), HPC++, Sage++
Ada
Ada95 (ACM)
Ada95 : Reference Manual
Ada95 (EPFL)
"Lovelace" : tutoriel sur Ada (David A. Wheeler)
Mani Chandy (Caltech)
Eiffel (B.Meyer)
Giuseppe Castagna (ENS) : sémantique des langages objets
Luca Cardelli : biblio
OZ
Gert Smolka (Saarbrücken)
Mjolner-BETA (Knudsen, DAIMI)
U.Lund : Gorel Hedin (Door AGs)
CORBA (Common Object Request Broker Architecture)
CORBA : Doug Schmidt
CORBA : OMG
Smalltalk
Livre de Briffault et Sabah (LIMSI)
Parallélisme, langages fonctionnels
Tutoriel sur les monades
Type Theory and Functional Programming (Simon Thompson)
ISBN 0-201-41667-0, Addison-Wesley. 1991.
Paul Wilson (Texas) : Scheme
"On Lisp" (Paul Graham)
SML
Alpha (IRISA)
Doran Wilde (Brigham Young U.)
GC : FAQ
Marc Pouzet
Rita Loogen
(U.Marburg)
John Hughes
(Chalmers)
Cilk (MIT)
Dennis Gannon (Indiana)
JAVA parallèle, HPC++, Sage++
faq functional
Paul Hudak (Yale)
Frans Kaashoek (MIT)
Amoeba, Orca, client-serveur
James Larus (Wisconsin)
NESL (Blelloch)
Occam archive
Oxford Parallel
FLIC
Les langages fonctionnels dans l'enseignement
P. Wadler (Glasgow)
monads, Haskell
Yale: Linda
Carriero, Gelernter
SDL: Specification and Description Language
méthodes formelles
NASA Langley (Michael Holloway)
archives d'Oxford
Pi-calcul
Hoare
SETL
David Bacon
The SETL Programming Language by Robert Dewar