×

zbMATH — the first resource for mathematics

Garrigue, Jacques

Compute Distance To:
Author ID: garrigue.jacques Recent zbMATH articles by "Garrigue, Jacques"
Published as: Garrigue, Jacques
Documents Indexed: 22 Publications since 1993, including 4 Books

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 22 times in 19 Documents Cited by Year
On the runtime complexity of type-directed unboxing. Zbl 1369.68111
Minamide, Yasuhiko; Garrigue, Jacques
3
1997
Semi-explicit first-class polymorphism for ML. Zbl 1045.68526
Garrigue, Jacques; Rémy, Didier
3
1999
Label-selective \(\lambda\)-calculus syntax and confluence. Zbl 0925.03090
Aït-Kaci, Hassan; Garrigue, Jacques
3
1993
Relaxing the value restriction. Zbl 1122.68398
Garrigue, Jacques
3
2004
Extending ML with semi-explicit higher-order polymorphism. Zbl 0885.03032
Garrigue, Jacques; Rémy, Didier
2
1997
Functional and logic programming. 9th international symposium, FLOPS 2008, Ise, Japan, April 14–16, 2008. Proceedings. Zbl 1133.68006
Garrigue, Jacques (ed.); Hermenegildo, Manuel V. (ed.)
2
2008
A certified implementation of ML with structural polymorphism and recursive types. Zbl 1361.68038
Garrigue, Jacques
1
2015
Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. Zbl 1350.68013
Garrigue, Jacques (ed.); Keller, Gabriele (ed.); Sumii, Eijiro (ed.)
1
2016
The transformation calculus. Zbl 1354.68046
Garrigue, Jacques
1
1995
The transformation calculus and its typing. Zbl 0939.68702
Garrigue, Jacques
1
1993
Recursive modules for programming. Zbl 1321.68156
Nakata, Keiko; Garrigue, Jacques
1
2006
Path resolution for nested recursive modules. Zbl 1256.68032
Garrigue, Jacques; Nakata, Keiko
1
2011
Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. Zbl 1350.68013
Garrigue, Jacques; Keller, Gabriele; Sumii, Eijiro
1
2016
A certified implementation of ML with structural polymorphism and recursive types. Zbl 1361.68038
Garrigue, Jacques
1
2015
Path resolution for nested recursive modules. Zbl 1256.68032
Garrigue, Jacques; Nakata, Keiko
1
2011
Functional and logic programming. 9th international symposium, FLOPS 2008, Ise, Japan, April 14–16, 2008. Proceedings. Zbl 1133.68006
Garrigue, Jacques; Hermenegildo, Manuel V.
2
2008
Recursive modules for programming. Zbl 1321.68156
Nakata, Keiko; Garrigue, Jacques
1
2006
Relaxing the value restriction. Zbl 1122.68398
Garrigue, Jacques
3
2004
Semi-explicit first-class polymorphism for ML. Zbl 1045.68526
Garrigue, Jacques; Rémy, Didier
3
1999
On the runtime complexity of type-directed unboxing. Zbl 1369.68111
Minamide, Yasuhiko; Garrigue, Jacques
3
1997
Extending ML with semi-explicit higher-order polymorphism. Zbl 0885.03032
Garrigue, Jacques; Rémy, Didier
2
1997
The transformation calculus. Zbl 1354.68046
Garrigue, Jacques
1
1995
Label-selective \(\lambda\)-calculus syntax and confluence. Zbl 0925.03090
Aït-Kaci, Hassan; Garrigue, Jacques
3
1993
The transformation calculus and its typing. Zbl 0939.68702
Garrigue, Jacques
1
1993

Citations by Year