 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-00909364v1
Communication dans un congrès
Barbara Petit. Continuation Models for the Lambda Calculus With Constructors Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVIII), 2012, Unknown, 286, pp.337--350, 2012 |
||
|
tel-00662500v1
Thèse
Barbara Petit. On the lambda calculus with constructors Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. <NNT : 2011ENSL0628> |
||
|
hal-00578077v1
Article dans une revue
Barbara Petit. Semantics of Typed Lambda-Calculus with Constructors Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2011, 7 (1:2), pp.1-24. <10.2168/LMCS-7 (1:2) 2010> |
||
|
hal-00909371v1
Communication dans un congrès
Ugo Dal Lago, Barbara Petit. Linear dependent types in a call-by-value scenario Principles and Practice of Declarative Programming, (PPDP'12), 2012, Leuven, Belgium. ACM, pp.115--126, 2012, <10.1145/2370776.2370792> |
||
|
hal-00909318v1
Communication dans un congrès
Ugo Dal Lago, Barbara Petit. The geometry of types The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Proceedings, 2013, Rome, Italy. ACM, pp.167-178, 2013 |
||
|
hal-00909317v1
Article dans une revue
Ugo Dal Lago, Barbara Petit. Linear Dependent Types in a Call-by-Value Scenario Science of Computer Programming, Elsevier, 2013, <10.1016/j.scico.2013.07.010> |
||
|
|
||
