|
СТ |
Call-by-Value Mixin Modules (Reduction Semantics, Side Effects, Types) |
2004 |
Hirschowitz T., Leroy X., Wells J. B. |
|
|
|
Lecture Notes in Computer Science |
23.04.2004 |
|
СТ |
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection |
2003 |
Calcagno C., Taha W., Huang L., Leroy X. |
|
|
|
Lecture Notes in Computer Science |
27.11.2003 |
|
СТ |
Computer Security from a Programming Language and Static Analysis Perspective |
2003 |
Leroy X. |
|
|
|
Lecture Notes in Computer Science |
16.04.2003 |
|
СТ |
Mixin Modules in a Call-by-Value Setting |
2002 |
Hirschowitz T., Leroy X. |
|
|
|
Lecture Notes in Computer Science |
08.05.2002 |
|
СТ |
Manifest Types, Modules, and Separate Compilation |
1994 |
Leroy X. |
|
|
|
Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages |
29.08.1997 |
|
П |
Polymorphic type inference and assignment |
1990 |
Leroy X., Weis P. |
|
|
INRIA |
|
24.10.1991 |
|
П |
Polymorphic Type Inference and Assignment |
1991 |
Leroy X., Weis P. |
|
|
INRIA |
|
16.08.1991 |
|
П |
Efficient Data Representation in Polymorphic Languages |
1990 |
Leroy X. |
|
|
INRIA |
|
24.04.1991 |
|
П |
The Zinc Experiment: An economical implementation of the ML language |
1986 |
Leroy X. |
|
|
INRIA |
|
29.03.1991 |
|
П |
Abstract Types and the Dot Notation |
1990 |
Cardelli L., Leroy X. |
|
|
Digital |
|
29.03.1991 |
