Birkedal, L. & Welinder, M. (1995).
Binding-time analysis for Standard ML. In
PEPM'94 - ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Walt Disney World Vilage, Orlando, Florida, USA, 25 June 1994, Proceedings: Technical Report 94/9. (pp. 61-71). University of Melbourne. Department of Computer Science.
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
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
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. Lecture Notes in Computer Science Vol. 3444
https://doi.org/10.1007/978-3-540-31987-0_17
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., 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. Lecture Notes in Computer Science Vol. 3921
https://doi.org/10.1007/11690634_13
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. Lecture Notes in Engineering and Computer Science Vol. 4137
https://doi.org/10.1007/11817949_17
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. Lecture Notes in Computer Science Vol. 4421
https://doi.org/10.1007/978-3-540-71316-6_14