@inproceedings{HeintzeR98, author = {Heintze, Nevin and Riecke, Jon G.}, title = {{The SLam Calculus: Programming with Secrecy and Integrity}}, booktitle = {25th Symp. on Principles of Programming Languages (POPL'98)}, year = {1998}, pages = {365--377}, } @inproceedings{MinamideMH96, author = {Yasuhiko Minamide and J. Gregory Morrisett and Robert Harper}, title = {{Typed Closure Conversion}}, booktitle = {23rd Symp. on Principles of Programming Languages (POPL'96)}, year = {1996}, pages = {271-283}, bibsource = {DBLP, http://dblp.uni-trier.de} } @techreport{Leroy92, author = {Xavier Leroy}, title = {{Polymorphic Typing of an Algorithmic Language}}, type = {Research report}, number = {1778}, institution = {INRIA}, year = {1992}, urllocal = {http://gallium.inria.fr/~xleroy/publi/phd-thesis.pdf}, } @inproceedings{PientkaD08, author = {Brigitte Pientka and Joshua Dunfield}, title = {{Programming with Proofs and Explicit Contexts}}, booktitle = {10th International Conference on Principles and Practice of Declarative Programming (PPDP'08)}, year = {2008}, pages = {163-173}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{StampoulisS12, author = {Antonis Stampoulis and Zhong Shao}, title = {{Static and User-Extensible Proof Checking}}, booktitle = {39th Symp. on Principles of Programming Languages (POPL'12)}, year = {2012}, pages = {273-284}, bibsource = {DBLP, http://dblp.uni-trier.de} } @article{NanevskiPP08, author = {Aleksandar Nanevski and Frank Pfenning and Brigitte Pientka}, title = {{Contextual Modal Type Theory}}, journal = {ACM Trans. Comput. Log.}, volume = {9}, number = {3}, year = {2008}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{Jost10, author = {Steffen Jost and Kevin Hammond and Hans-Wolfgang Loidl and Martin Hofmann}, title = {{Static Determination of Quantitative Resource Usage for Higher-Order Programs}}, booktitle = {37th Symp. on Principles of Programming Languages (POPL'10)}, year = {2010}, pages = {223-236} } @inproceedings{BartheGR08, author = {Gilles Barthe and Benjamin Gr{\'e}goire and Colin Riba}, title = {{Type-Based Termination with Sized Products}}, booktitle = {Computer Science Logic, 17th Ann. Conf. (CSL'08)}, year = {2008}, pages = {493-507}, bibsource = {DBLP, http://dblp.uni-trier.de} } @article{Chin01, author = {Wei-Ngan Chin and Siau-Cheng Khoo}, title = {{Calculating Sized Types}}, journal = {High.-Ord. and Symb. Comp.}, volume = {14}, number = {2-3}, year = {2001}, pages = {261-300}, bibsource = {DBLP, http://dblp.uni-trier.de} } @article{Abel07, author = {Andreas Abel}, title = {{Semi-continuous Sized Types and Termination}}, journal = {Log. Methods Comput. Sci.}, year = 2008, volume = 4, number = 2 } @article{SabelfeldM03, author = {Andrei Sabelfeld and Andrew C. Myers}, title = {Language-Based Information-Flow Security}, journal = {IEEE Journal on Selected Areas in Communications}, volume = {21}, number = {1}, year = {2003}, pages = {5-19}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{Jost03, author = {Martin Hofmann and Steffen Jost}, title = {{Static Prediction of Heap Space Usage for First-Order Functional Programs}}, booktitle = {30th Symp. on Principles of Programming Languages (POPL'03)}, year = {2003}, pages = {185-197}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{LagoP13, author = {Ugo Dal Lago and Barbara Petit}, title = {{The Geometry of Types}}, booktitle = {40th Symp. on Principles of Programming Languages (POPL'13)}, year = {2013}, pages = {167-178}, bibsource = {DBLP, http://dblp.uni-trier.de} } @unpublished{PetricekUnpub, author = {Tomas Petricek and Dominic Orchard and Alan Mycroft}, title = {{Coeffects: The Essence of Context Dependence}}, year = {2012}, url = {http://www.cl.cam.ac.uk/~tp322/drafts/coeffects.html} } @techreport{Hannan97, author = {John Hannan and Patrick Hicks and David Liben-Nowell}, title = {{A Lifetime Analysis for Higher-Order Languages}}, year = 1997, institution = {The Pennsylvania State University}, url = {http://www.cse.psu.edu/~hannan/papers/live.ps.gz} }