Semi-continuous Sized Types and Termination, Log. Methods Comput. Sci, vol.4, issue.2, 2008. ,
Type-Based Termination with Sized Products, Computer Science Logic, 17th Ann. Conf. (CSL'08), pp.493-507, 2008. ,
DOI : 10.1007/978-3-540-87531-4_35
Calculating Sized Types, Higher-Order and Symbolic Computation, vol.14, issue.2/3, pp.261-300, 2001. ,
DOI : 10.1023/A:1012996816178
A Lifetime Analysis for Higher- Order Languages The Pennsylvania State University, 1997. ,
The SLam calculus, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '98, pp.365-377, 1998. ,
DOI : 10.1145/268946.268976
Static Determination of Quantitative Resource Usage for Higher-Order Programs, 37th Symp. on Principles of Programming Languages (POPL'10), pp.223-236, 2010. ,
Polymorphic Typing of an Algorithmic Language, 1992. ,
URL : https://hal.archives-ouvertes.fr/inria-00077018
The Geometry of Types, 40th Symp. on Principles of Programming Languages (POPL'13), pp.167-178, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00909318
Typed closure conversion, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.271-283, 1996. ,
DOI : 10.1145/237721.237791
Contextual modal type theory, ACM Transactions on Computational Logic, vol.9, issue.3, 2008. ,
DOI : 10.1145/1352582.1352591
Programming with proofs and explicit contexts, Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming, PPDP '08, pp.163-173, 2008. ,
DOI : 10.1145/1389449.1389469
Coeffects: The Essence of Context Dependence, 2012. ,
Language-based information-flow security, IEEE Journal on Selected Areas in Communications, vol.21, issue.1, pp.5-19, 2003. ,
DOI : 10.1109/JSAC.2002.806121
Static and User-Extensible Proof Checking, 39th Symp. on Principles of Programming Languages (POPL'12), pp.273-284, 2012. ,