MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Michel Mauny" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

Functional programming using Caml Light
by Michel Mauny — 1995 — INRIA, Domaine de Voluceau, Rocquencourt 78153 Le Chesnay Cedex
…Functional programming using Caml Light Michel Mauny January Contents 1 Introduction 5 I…
Cited by 6 (0 self) – Add To MetaCart

A New Presentation of the Intersection Type Discipline Through Principal Typings of Normal Forms
by Émilie Sayag,, Michel Mauny — 1996
… ' Emilie Sayag, Michel Mauny N 2998 October 16, 1996 TH ` EME 2 A new presentation of the intersection…
Cited by 5 (0 self) – Add To MetaCart

Functional programming using Caml Light
by Michel Mauny January, Michel Mauny — 1995
…Functional programming using Caml Light Michel Mauny January 1995 Contents 1 Introduction 5 I…
Add To MetaCart

Dynamics in ML
by Xavier Leroy, Michel Mauny, Inria Rocquencourt — 1993
… Normale Superieure Michel Mauny INRIA Rocquencourt Abstract Objects with dynamic types allow…
Cited by 49 (0 self) – Add To MetaCart

A complete and realistic implementation of quotations for ML
by Michel Mauny, Daniel de Rauglaudre — 1994 — Proc. 1994 Workshop on ML and its Applications
…A complete and realistic implementation of quotations for ML Michel Mauny INRIA…
Cited by 2 (0 self) – Add To MetaCart

From Syntactic Theories to Interpreters: A Specification Language and Its Compilation
by Yong Xiao, Zena M. Ariola, Michel Mauny — 2000 — In Nachum Dershowitz and Claude Kirchner, editors, Informal proceedings of the First International Workshop on Rule-Based Programming (RULE 2000
… Zena M. Ariola 1 Michel Mauny 2 1 University of Oregon, Eugene, OR 97403 ??? 2 INRIA…
Cited by 4 (1 self) – Add To MetaCart

Chamau: an ML dialect with quotations, grammars, and extensible syntax
by Daniel De Rauglaudre, Michel Mauny, Projet Cristal, F- Le, Chesnay Cedex
…Chamau: an ML dialect with quotations, grammars, and extensible syntax Daniel de Rauglaudre Michel…
Add To MetaCart

Functional Programming using CAML Light
by Caml Light, Domaine De Voluceau, F- Le, Chesnay Cedex, Programmation Fonctionnelle, Michel Mauny, Michel Mauny, Michel Mauny — 1995
…Functional Programming using CAML Light Michel Mauny Domaine de Voluceau BP 105, F-78153 Le…
Add To MetaCart

An Implementation Of Caml-Light With Existential Types
by E De Recherche, Et En Automatique, Domaine De Voluceau, Michel Mauny, François Pottier — 1993
… AN IMPLEMENTATION OF CAML-LIGHT WITH EXISTENTIAL TYPES Michel Mauny Francois Pottier Octobre 1993 An implementation…
Add To MetaCart

Dynamics In ML
by E De Recherche, Et En Automatique, Domaine De Voluceau, Le Chesnay Cedex, Xavier Leroy, Xavier Leroy, Michel Mauny, Michel Mauny, Xavier Leroy Michel — 1991
… IN ML Xavier LEROY Michel MAUNY Juillet 1991 Les dynamiques en ML Xavier Leroy 1 Michel Mauny 2 R…
Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB