| 2008 |
|---|
| 14 | | Jacques Garrigue,
Manuel V. Hermenegildo:
Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
Springer 2008 |
| 2006 |
|---|
| 13 | EE | Jacques Garrigue:
Private Row Types: Abstracting the Unnamed.
APLAS 2006: 44-60 |
| 12 | EE | Keiko Nakata,
Jacques Garrigue:
Recursive modules for programming.
ICFP 2006: 74-86 |
| 2005 |
|---|
| 11 | EE | Nobuaki Yoshida,
Yoshio Hayashi,
Yutaka Tamagaki,
Shoji Urashita,
Makoto Kakuta,
Masahiro Watanabe,
Jacques Garrigue,
Reiji Nakajima:
SOBA Framework: An Application Framework for Broadband Network Environment.
SAINT 2005: 296-303 |
| 2004 |
|---|
| 10 | EE | Jacques Garrigue:
Relaxing the Value Restriction.
FLOPS 2004: 196-213 |
| 2002 |
|---|
| 9 | | Jacques Garrigue:
Relaxing the Value Restriction.
APLAS 2002: 31-45 |
| 2001 |
|---|
| 8 | | Jacques Garrigue:
Simple Type Inference for Structural Polymorphism.
APLAS 2001: 329-343 |
| 1999 |
|---|
| 7 | | Jacques Garrigue,
Didier Rémy:
Semi-Explicit First-Class Polymorphism for ML.
Inf. Comput. 155(1-2): 134-169 (1999) |
| 1998 |
|---|
| 6 | EE | Yasuhiko Minamide,
Jacques Garrigue:
On the Runtime Complexity of Type-Directed Unboxing.
ICFP 1998: 1-12 |
| 1997 |
|---|
| 5 | | Jacques Garrigue,
Didier Rémy:
Extending ML with Semi-Explicit Higher-Order Polymorphism.
TACS 1997: 20-46 |
| 1995 |
|---|
| 4 | | Jacques Garrigue:
The Transformation Calculus.
FSTTCS 1995: 151-165 |
| 3 | EE | Hassan Aït-Kaci,
Jacques Garrigue:
Label-Selective lambda-Calculus Syntax and Confluence.
Theor. Comput. Sci. 151(2): 353-383 (1995) |
| 1994 |
|---|
| 2 | | Jacques Garrigue,
Hassan Aït-Kaci:
The Typed Polymorphic Label-Selective lambda-Calculus.
POPL 1994: 35-47 |
| 1993 |
|---|
| 1 | | Hassan Aït-Kaci,
Jacques Garrigue:
Label-Selective lambda-Calculus Syntax and Confluence.
FSTTCS 1993: 24-40 |
