Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="R{\'e}my, Didier"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A church-style intermediate language for MLF
Didier Rémy
,
Boris Yakobowski
Theoretical Computer Science
435
, 2012, pp. 77-105
Recasting ML
^{\mbox F}
Didier Le Botlan
,
Didier Rémy
Information and Computation
207
(6), 2009, pp. 726-785
Inheritance in the join calculus
Cédric Fournet
,
Cosimo Laneve
,
Luc Maranget
,
Didier Rémy
Lecture Notes in Computer Science
1974
, 2000, pp. 397-408
Semi-explicit first-class polymorphism for ML
Jacques Garrigue
,
Didier Rémy
Information and Computation
155
(1-2), 1999, pp. 134-169