Références

Livres et monographies

1

G. Cousineau, M. Mauny, Approche Fonctionnelle de la Programmation, Ediscience International, 1995.

2

D. Rémy (réd.), Record of the 1994 ACM-SIGPLAN Workshop on ML and its Applications, Rapport de Recherche INRIA, 2265, juin 1994.

Thèses

3

V. Ménissier-Morain, Arithmétique exacte: conception, algorithmique et performances d'une implémentation informatique en précision arbitraire, Thèse, Université Paris 7, décembre 1994.

4

P. Parot, Mécanisation de la réutilisation de composants logiciels: approche et outils, thèse de doctorat, Université d'Orléans, octobre 1995.

Articles et chapitres de livre

5

M. Abadi, L. Cardelli, B. Pierce, D. Rémy, ``Dynamic Typing in Polymorphic Languages'', Journal of Functional Programming, 1, janvier 1995.

6

T. Chuang, B. Goldberg, ``A Syntactic Method for Finding Least Fixed Points of Higher--Order Functions over Finite Domains'', Journal of Functional Programming, à paraître.

7

B. Goldberg, ``Functional Programming Languages'', in: CRC Handbook of Computer Science, 1996, à paraître.

8

B. Goldberg, ``Functional Programming Languages'', ACM Computer Surveys, 50th Special Anniversary Issue, 1996, à paraître.

9

X. Leroy, ``A syntactic theory of type generativity and sharing'', Journal of Functional Programming 6, 4, août 1996, à paraître.

10

V. Ménissier-Morain, P. Weis, ``An exact arithmetic package for ML'', Science of Computer Programming, 1994, accepté pour publication.

11

Y. Park, B. Goldberg, ``Order--of--demand analysis for lazy languages'', Information Processing Letters 55, 1995, p. 343--348.

12

Y. Park, B. Goldberg, ``Static Analysis for Optimizing Reference Counting'', Information Processing Letters 55, 1995, p. 229--234.

13

D. Rémy, ``Type Inference for Records in a Natural Extension of ML'', in: Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design, C. A. Gunter et J. C. Mitchell (réd.), MIT Press, avril 1994.

14

D. Rémy, ``Typing Record Concatenation for Free'', in: Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design, C. A. Gunter et J. C. Mitchell (réd.), MIT Press, avril 1994.

Communications à des congrès, colloques, etc.

15

M.-V. Aponte, X. Leroy, ``Llamado de procedimientos a distancia y abstracción de tipos'', in: Actes du 20e congrès latino-américain d'informatique CLEI-PANEL, p. 1281--1292, septembre 1994.

16

F. Barthélemy, F. Rouaix, ``Abstract Data-Types and Operators: an Experiment in Constraint-Based Parsing'', in: Record of the 1994 ACM-SIGPLAN Workshop on ML and its Applications, p. 34--40, juin 1994.

17

F. Barthélemy, F. Rouaix, ``A Modular Architecture for Constraint-Based Parsing'', in: Proceedings of the 15th International Conference on Computational Linguistics (COLING), p. 454--460, Kyoto, Japan, août 1994.

18

C. Dubois, F. Rouaix, P. Weis, ``Extensional polymorphism'', in: Proceedings of the 22th ACM Conference on Principles of Programming Languages, p. 118--129, janvier 1995.

19

C. A. Gunter, D. Rémy, J. G. Riecke, ``A Generalization of Exceptions and Control in ML'', in: Proc. ACM Conf. on Functional Programming and Computer Architecture, juin 1995.

20

T. Hardin, V. Donzeau-Gouge, P. Weis, ``Teaching Programming via a Semantic Model of Caml and Ada'', in: Software Engeneering Education Workshop (ICSE-16), 1994.

21

X. Leroy, ``Manifest types, modules, and separate compilation'', in: Actes du 21e symposium Principles of Programming Languages, ACM Press, p. 109--122, janvier 1994.

22

X. Leroy, ``A syntactic approach to type generativity and sharing (extended abstract)'', in: Record of the 1994 ACM-SIGPLAN Workshop on ML and its Applications, INRIA, p. 1--12, juin 1994.

23

X. Leroy, ``Applicative functors and fully transparent higher-order modules'', in: Actes du 22e symposium Principles of Programming Languages, ACM Press, p. 142--153, janvier 1995.

24

X. Leroy, ``Lessons learned from the translation of documentation from LaTeX\ to HTML'', in: ERCIM/W4G Int. Workshop on WWW Authoring and Integration Tools, février 1995.

25

M. Mauny, D. de Rauglaudre, ``A complete and realistic implementation of quotations for ML'', in: Record of the 1994 ACM-SIGPLAN Workshop on ML and its Applications, juin 1994.

26

V. Ménissier-Morain, ``Conception et algorithmique d'une représentation d'arithmétique réelle en précision arbitraire'', in: Proceedings of the first conference on real numbers and computers, 1995.

27

P. Parot, ``Automatisation d'une bibliothèque de modules'', in: Actes des Journées Francophones des Langages Applicatifs, 1995.

28

P. Parot, ``A Declarative Approach to Enhance Software Components Reuse'', in: International Conference of the Chilean Computer Science Society, octobre 1995.

29

C. Queinnec, ``DMeroon --- A Distributed Class-based Causally-coherent Data Model: Preliminary Report'', in: PSLS 95 -- Parallel Symbolic Langages and Systems, R. Halstead, T. Ito, C. Queinnec (réd.), Beaune (France), octobre 1995.

30

D. Rémy, ``Programming Objects with ML-ART: An extension to ML with Abstract and Record Types'', in: Theoretical Aspects of Computer Software, M. Hagiya, J. C. Mitchell (réd.), Lecture Notes in Computer Science, 789, Springer-Verlag, p. 321--346, avril 1994.

31

M. Serrano, P. Weis, ``1+1 = 1, an optimizing Caml compiler'', in: Record of the 1994 ACM-SIGPLAN Workshop on ML and its Applications, INRIA, juin 1994.

32

M. Serrano, P. Weis, ``Bigloo: a Portable and Optimizing Compiler for Strict Functional Languages'', in: Second International Symposium, SAS'95, A. Mycroft (réd.), LNCS, 983, Springer-Verlag, septembre 1995.

Rapports de recherche et publications internes

33

X. Leroy, The Caml Light system, release 0.7 -- Documentation and user's manual, INRIA, juin 1995, Documentation distribuée avec le système Caml Light.

34

X. Leroy, The Caml Special Light system, release 1.07 -- Documentation and user's manual, INRIA, septembre 1995, Documentation distribuée avec le système Caml Special Light.

35

X. Leroy, ``A syntactic theory of type generativity and sharing'', Rapport de recherche n°2545, INRIA, mai 1995.

36

M. Mauny, Functional programming using Caml Light (version 0.7), INRIA, juin 1995, Documentation distribuée avec le système Caml Light.

37

F. Pottier, ``Implémentation d'un système de modules évolué en Caml-Light'', Rapport de Recherche n°2449, INRIA, janvier 1995.

38

C. Rinderknecht, ``Une analyse syntaxique d'ASN.1:1990 en Caml Light'', rapport de recherche n°171, INRIA, avril 1995.

39

M. Serrano, P. Weis, ``1+1 = 1, an optimizing Caml compiler'', Rapport de recherche n°2301, INRIA, juillet 1994.

Divers

40

M. Harrison, B. Goldberg, E. Osinski, ``Types in the Griffin Prototyping Language'', Draft Document.

41

X. Leroy, ``Le système Caml Special Light: modules et compilation efficace en Caml'', Journées du GDR Programmation, novembre 1995.

42

X. Leroy, ``Manifest types, modules, and separate compilation'', Soumis à publication aux ACM Transactions on Programming Languages and Systems, octobre 1995.

43

F. Pessaux, ``Conception et réalisation d'une interface entre Caml Light et Tcl/Tk'', Rapport de stage de 1ère année de M.S.T, Université Paris 6, septembre 1994.

44

F. Pottier, ``Simplifying subtyping constraints'', novembre 1995, soumis à publication.

45

F. Pottier, ``Type inference and simplification for recursively constrained types'', Journées du GDR Programmation, novembre 1995.

46

D. Rémy, ``Better subtypes and row variables for record types'', Présenté à l'atelier Advances in types for computing à l'institut Newton, Cambridge, UK, août 1995.

47

D. Rémy, ``A case study of typechecking with constrained types: Typing record concatenation'', Présenté à l'atelier Advances in types for computing à l'institut Newton, Cambridge, UK, août 1995.

48

F. Rouaix, ``Le navigateur Web MMM: un développement en Caml Light'', Journées du GDR Programmation, septembre 1995.

49

E. Sayag, M. Mauny, ``Caractérisation des types principaux des formes normales dans le système des types avec intersections'', Journées du GDR Programmation, novembre 1995.