Didier Rémy

Available identifiers

Publication	Date of Publication	Type
A calculus of mobile agents	2023-06-28	Paper
Implicit typing à la ML for the join-calculus	2023-05-17	Paper
System F with coercion constraints	2018-04-23	Paper
Which simple types have a unique inhabitant?	2017-05-10	Paper
Full Reduction in the Face of Absurdity	2016-04-26	Paper
On the power of coercion abstraction	2015-09-11	Paper
Modeling abstract types in modules with open existential types	2015-07-03	Paper
ML ^F	2015-07-02	Paper
From ML to ML ^F	2015-03-16	Paper
Ambivalent types for principal type inference with GADTs	2015-01-12	Paper
Simple, partial type-inference for System F based on type-containment	2015-01-06	Paper
GADTs Meet Subtyping	2013-08-05	Paper
A Church-style intermediate language for ML\(^{\text F}\)	2012-06-25	Paper
A church-style intermediate language for ML\(^{\text{F}}\)	2010-05-04	Paper
Recasting ML\(^{\text F}\)	2009-06-11	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4813229	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4472462	2004-08-04	Paper
Inheritance in the join calculus.	2004-03-14	Paper
Semi-explicit first-class polymorphism for ML.	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4490734	2000-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4937118	2000-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4249168	1999-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4364382	1997-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q4855342	1996-04-16	Paper
Dynamic typing in polymorphic languages	1995-06-08	Paper

This page was built for person: Didier Rémy