Svendsen, K.
, Birkedal, L. & Nanevski, A. (2011).
Partiality, State, and Dependent Types. In
Proceedings of Typed LAmbda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 (Vol. LNCS 6690, pp. 198-212). Springer.
Feldthaus, A., Millstein, T.
, Møller, A., Schäfer, M. & Tip, F. (2011).
Refactoring towards the good parts of JavaScript. Poster session presented at SPLASH 2011, Portland, Oregon, United States.
https://doi.org/10.1145/2048147.2048200
Birkedal, L., Reus, B., Schwinghammer, J., Støvring, K., Thamsborg, J. J. & Yang, H. (2011).
Step-Indexed Kripke Models over Recursive Worlds. In
Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA (pp. 119-132). Association for Computing Machinery.
Bengtson, J., Jensen, J. B., Sieczkowski, F.
& Birkedal, L. (2011).
Verifying object-oriented programs with higher-order separation logic in Coq. In M. V. Eekelen , H. Geuvers, J. Schmaltz & F. Wiedijk (Eds.),
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings (pp. 22-38). Springer.
https://doi.org/10.1007/978-3-642-22863-6_5Dreyer, D., Neis, G., Rossberg, A.
& Birkedal, L. (2010).
A relational modal logic for higher-order stateful ADTs. In M. Hermenegildo & J. Palsberg (Eds.),
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010 (pp. 185-198). Association for Computing Machinery.
https://doi.org/10.1145/1706299.1706323Schwinghammer, J., Yang, H.
, Birkedal, L., Pottier, F. & Reus, B. (2010).
A semantic foundation for hidden state. In L. Ong (Ed.),
Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings (pp. 2-17). Springer.
https://doi.org/10.1007/978-3-642-12032-9_2Dreyer, D., Neis, G.
& Birkedal, L. (2010).
The impact of higher-order state and control effects on local relational reasoning. In S. Weirich & P. Hudak (Eds.),
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010 (pp. 143-156). Association for Computing Machinery.
https://doi.org/10.1145/1863543.1863566Krishnaswami, N. R., Aldrich, J.
, Birkedal, L., Svendsen, K. & Buisse, A. (2009).
Design patterns in separation logic. In A. Kennedy & A. Ahmed (Eds.),
Proceedings of the 2009 ACM SIGPLAN Workshop on Types in Language Design and Implementation, TLDI'09 (pp. 105-115). Association for Computing Machinery.
https://doi.org/10.1145/1481861.1481874Schwinghammer, J.
, Birkedal, L., Reus, B. & Yang, H. (2009).
Nested hoare triples and frame rules for higher-order store. In E. Grädel & R. Kahle (Eds.),
Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings (pp. 440-454). Springer.
https://doi.org/10.1007/978-3-642-04027-6_32Birkedal, L., Støvring, K. & Thamsborg, J. (2009).
Realizability semantics of parametric polymorphism, general references, and recursive types. In L. D. Alfaro (Ed.),
Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings (pp. 456-470). Springer.
https://doi.org/10.1007/978-3-642-00596-1_32
Birkedal, L., Støvring, K. & Thamsborg, J. J. (2009).
Relational Parametricity for References and Recursive Types. In A. Kennedy & A. Ahmed (Eds.),
Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009. (pp. 91-104). Association for Computing Machinery.
Nanevski, A., Morrisett, G., Shinnar, A., Govereau, P.
& Birkedal, L. (2008).
Ynot: Depent Types for Imperative Programs. In
International Conference on Functional Programming: Proceeding of the 13th ACM SIGPLAN International Conference on Functional Programming, (Vol. session 9, pp. 229-240). Association for Computing Machinery.
Nanevski, A., Ahmed, A., Morrisett, G.
& Birkedal, L. (2007).
Abstract predicates and mutable ADTs in hoare type theory. In R. D. Nicola (Ed.),
Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings (pp. 189-204). Springer VS.
https://doi.org/10.1007/978-3-540-71316-6_14
