Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former team : | ACASA |
- Th. Hardin, L. Maranget, B. Pagano : “Functional runtime systems within the lambda-sigma calculus”, Journal of Functional Programming, vol. 8 (2), pp. 131-176, (Cambridge University Press (CUP)) [Hardin 1998c]