Jean-Marie Hullot

Publication Activity (10 Years)

Years Active: 1979-2007
Publications (10 Years): 0

Publications

Jean-Marie Hullot
Ubiquitous Devices, Mobility and Context Awareness. AINTEC (2007)
Jérôme Chailloux, Matthieu Devin, Jean-Marie Hullot
LE LISP, a Portable and Efficient LISP System. LISP and Functional Programming (1984)
Jean-Marie Hullot
A Multi-Formalism Programming Environment. IFIP Congress (1983)
Gérard P. Huet, Jean-Marie Hullot
Proofs by Induction in Equational Theories with Constructors. J. Comput. Syst. Sci. 25 (2) (1982)
Gérard P. Huet, Jean-Marie Hullot
Proofs by Induction in Equational Theories with Constructors FOCS (1980)
Jean-Marie Hullot
Canonical Forms and Unification. CADE (1980)
Jean-Marie Hullot
Associative Commutative Pattern Matching. IJCAI (1979)