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
Birkedal, L. & Yang, H. (2007).
Relational parametricity and separation logic. In S. Helmut (Ed.),
Foundations of Software Science and Computation Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings (pp. 93-107). Springer.
https://doi.org/10.1007/978-3-540-71389-0_8
Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T. & Niss, H. (2006).
Bigraphical models of context-aware systems. In L. Aceto & A. Ingólfsdóttir (Eds.),
Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings (Vol. 3921 , pp. 187-201). Springer VS.
https://doi.org/10.1007/11690634_13
Birkedal, L., Bundgaard, M., Debois, S., Elsborg, E., Glenstrup, A. J., Hildebrandt, T., Milner, R. & Niss, H. (2006).
Bigraphical Programming Languages for Pervasive Computing. In T. Strang, V. Cahill & A. Quigley (Eds.),
Proceedings of Pervasive 2006 International Workshop on Combining Theory and Systems Building in Pervasive Computing (CTSB'06 (pp. 653-658)
Birkedal, L., Debois, S. & Hildebrandt, T. (2006).
Sortings for reactive systems. In C. Baier & H. Hermanns (Eds.),
CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings (pp. 248-262). Springer.
https://doi.org/10.1007/11817949_17
Biering, B.
, Birkedal, L. & Torp-Smith, N. (2005).
BI hyperdoctrines and higher-order separation logic. In M. Sagiv (Ed.),
Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings (pp. 233-247). Springer.
https://doi.org/10.1007/978-3-540-31987-0_17
Sørensen, J. A., Kristoffersen, K. J., Cervera, A., Schiøtz, M., Lynge, T., Safar, Z.
& Birkedal, L. (2004).
An infrastructure for context dependent mobile multimedia communication. In
2004 IEEE 6th Workshop on Multimedia Signal Processing (pp. 462-464). IEEE Press.
https://doi.org/10.1109/MMSP.2004.1436595
Birkedal, L., Rosolini, G., Scott, D. S. & van Oosten, J. (Eds.) (2002).
Proceedings of the Tutorial Workshop on Realizability Semantics and Applications: held June 30 and July 1, 1999 in Trento, Italy, as one of the satellite workshops associated to the Federated Logic Conference. Elsevier. Mathematical Structures in Computer Science Vol. 12 No. 3, special issue
http://journals.cambridge.org/action/displayIssue?decade=2000&jid=MSC&volumeId=12&issueId=03&iid=114628