| 2007 |
|---|
| 7 | EE | Jean-Marie Hullot:
Ubiquitous Devices, Mobility and Context Awareness.
AINTEC 2007: 123-124 |
| 1987 |
|---|
| 6 | | Jean Bézivin,
Jean-Marie Hullot,
Pierre Cointe,
Henry Lieberman:
ECOOP'87 European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987, Proceedings
Springer 1987 |
| 1984 |
|---|
| 5 | | Jérôme Chailloux,
Matthieu Devin,
Jean-Marie Hullot:
LE LISP, a Portable and Efficient LISP System.
LISP and Functional Programming 1984: 113-122 |
| 1983 |
|---|
| 4 | | Jean-Marie Hullot:
A Multi-Formalism Programming Environment.
IFIP Congress 1983: 223-227 |
| 1982 |
|---|
| 3 | | Gérard P. Huet,
Jean-Marie Hullot:
Proofs by Induction in Equational Theories with Constructors.
J. Comput. Syst. Sci. 25(2): 239-266 (1982) |
| 1980 |
|---|
| 2 | | Jean-Marie Hullot:
Canonical Forms and Unification.
CADE 1980: 318-334 |
| 1 | | Gérard P. Huet,
Jean-Marie Hullot:
Proofs by Induction in Equational Theories with Constructors
FOCS 1980: 96-107 |
