Précédent : Diffusion de logiciels Remonter :
Projet
CRISTAL Suivant : Abstract
- Livres
- 1
- C. QUEINNEC,
Lisp in Small Pieces, Cambridge University Press,
1996.
- Articles
- 2
- P. H. HARTEL,
M. FEELEY,
M. ALT,
L. AUGUSTSSON,
P. BAUMANN,
M. BEEMSTER,
E. CHAILLOUX,
C. H. FLOOD,
W. GRIESKAMP,
J. H. G. VAN
GRONINGEN,
K. HAMMOND,
B. HAUSMAN,
M. Y. IVORY,
R. E. JONES,
J. KAMPERMAN,
P. LEE,
X. LEROY, R. D.
LINS,
S. LOOSEMORE,
N. ROJEMO,
M. SERRANO, J.-P.
TALPIN,
J. THACKRAY,
S. THOMAS,
P. WALTERS,
P. WEIS,
P. WENTWORTH,
``Benchmarking Implementations of Functional Languages with
``Pseudoknot'', a Float-Intensive Benchmark'', Journal of
Functional Programming 6, 4, 1996.
- 3
- X. LEROY, ``A
syntactic theory of type generativity and sharing'',
Journal of Functional Programming 6, 6, 1996, à
paraître.
- 4
- C. QUEINNEC,
P. WEIS,
``Programmation applicative, État des lieux et perspectives'',
Technique et science informatiques 15, 7, 1996,
p. 1009-1013.
- Communications à
congrès
- 5
- D. DE RAUGLAUDRE, M. MAUNY, ``Chamau: an ML Dialect with
Quotations, Grammars and Exensible Syntax'', in:
Proceedings of ALEL'96: Workshop on Compiler Techniques for
Application Domain Languages and Extensible Language
Models, avril 1996.
- 6
- C. DUBOIS,
V. MéNISSIER-MORAIN, ``A Proved Type Inference
Tool for ML: Damas-Milner within Coq (work in progress)'',
in: Supplementary Proceedings of the 9th International
Conference on Theorem Proving in Higher Order Logics:
TPHOLs'96, J. von Wright, J. Grundy,
J. Harrison (réd.), Turku Centre for Computer Science,
p. 15-30, août 1996. TUCS General Publication No. 1.
- 7
- C. FOURNET,
G. GONTHIER, J.-J.
LéVY,
L. MARANGET,
D. RéMY, ``A
Calculus of Mobile Agents'', in: Proceedings of the 7th
International Conference on Concurrency Theory,
U. Montanari, V. Sassone (réd.), LNCS,
1119, Springer, Pisa, Italie, août 1996.
- 8
- X. LEROY, ``Le
système Caml Special Light: modules et compilation efficace en
Caml'', in: JFLA 96 - Journées Francophones des Langages
Applicatifs, p. 111-131, janvier 1996.
- 9
- ÉMILIE SAYAG, M. MAUNY, ``Characterization of
principal types of normal forms in intersection type system'',
in: Proceedings of Foundations of Software Technology and
Theoretical Computer Science, 1996.
- 10
- F. POTTIER,
``Simplifying subtyping constraints'', in: Proceedings of
the 1996 ACM SIGPLAN International Conference on Functional
Programming (ICFP '96), p. 122-133, janvier
1996.
- 11
- C. QUEINNEC,
D. DE ROURE, ``Sharing Code through
First-class Environments'', in: Proceedings of the 1996 ACM
SIGPLAN International Conference on Functional Programming
(ICFP '96), p. 251-261, Philadelphia (Pennsylvania,
USA), mai 1996.
- 12
- C. QUEINNEC,
``Bribes de DMEROON'', in: Actes des journées de recherche
sur la Mémoire Partagée Répartie -- MPR 96,
C. Toinard (réd.), p. 51-56, Bordeaux (France), mai
1996.
- 13
- C. QUEINNEC,
``Macroexpansion Reflective Tower'', in: Proceedings of the
Reflection'96 Conference, G. Kiczales (réd.),
p. 93-104, San Francisco (California, USA), avril
1996.
- 14
- D. RéMY,
J. VOUILLON,
``Objective ML: A simple object-oriented extension to ML'',
in: Proc. 24th symposium Principles of Programming
Languages, ACM Press, janvier 1997. À paraître.
- 15
- F. ROUAIX, ``A
Web navigator with applets in Caml'', in: Proceedings of
the 5th International World Wide Web Conference, Computer
Networks and Telecommunications Networking, 28,
7-11, Elsevier, p. 1365-1371, mai 1996.
- Rapports de
recherche
- 16
- C. DUBOIS,
V. MéNISSIER-MORAIN, ``A Proved Type Inference
Tool for ML: Damas-Milner within Coq (work in progress)'',
Rapport de recherche n°19-1996, Université d'Évry Val
d'Essonne, Laboratoire de Mathématiques et Informatique, avril
1996.
- 17
- R. HARLEY,
Un algorithme simple et efficace pour démontrer la
primalité, Rapport de DEA Sémantique, Preuves et
Programmation, Université Paris 7, 1996.
- 18
- X. LEROY,
D. RéMY,
J. VOUILLON, The
Objective Caml system, documentation and user's manual -
release 1.02, INRIA, octobre 1996, documentation
distribuée avec le système Objective Caml.
- 19
- X. LEROY,
The Caml Light system, release 0.71 - Documentation and
user's manual, INRIA, février 1996, documentation
distribuée avec le système Caml Light.
- 20
- X. LEROY, ``A
modular module system'', Rapport de recherche n°2866,
INRIA, avril 1996.
- 21
- M. MAUNY,
Functional programming using Caml Light (version
0.71), INRIA, février 1996, documentation distribuée avec
le système Caml Light.
- 22
- ÉMILIE SAYAG, M. MAUNY, ``A presentation of the
intersection type discipline through principal typings of
normal forms'', Rapport de recherche n°2998, INRIA,
1996.
- 23
- F. PESSAUX,
Ajout de conditionnelle dans un système de modules à la
Caml Special Light, Rapport de DEA Sémantique, Preuves et
Programmation, Université Paris 6, 1996.
- Divers
- 24
- X. LEROY,
``Manifest types, modules, and separate compilation'', soumis à
publication aux ACM Transactions on Programming Languages
and Systems, en cours de révision, mai 1996.
- 25
- V. MéNISSIER-MORAIN, C. DUBOIS, ``Cours de
programmation : illustration en Caml'', en préparation,
1997.
- 26
- V. MéNISSIER-MORAIN, ``Arbitrary precision real
arithmetic: design and algorithms'', soumis au Journal of
Symbolic Computation, septembre 1996.
- 27
- V. MéNISSIER-MORAIN, ``Arithmétique exacte en
Caml'', La lettre de Caml numéro 3, pages 11-17, mars
1996.
- 28
- F. PESSAUX,
``Ajout de conditionnelle dans un système de modules à la Caml
Special Light'', journées du GDR Programmation, novembre
1996.
- 29
- F. ROUAIX,
B. LANG, ``The V6
Web Engine'', WWW5 workshop: Programming the Web - a search for
APIs, mai 1996.