Publications

Sortér efter: Dato | Forfatter | Titel

Biering, B., Birkedal, L. & Torp-Smith, N. (2005). BI hyperdoctrines and higher-order separation logic. I M. Sagiv (red.), 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 (s. 233-247). Springer. https://doi.org/10.1007/978-3-540-31987-0_17

Birkedal, L. & Møgelberg, R. E. (2005). Categorical models for Abadi and Plotkin's logic for parametricity. Mathematical Structures in Computer Science, 15(4), 709-772. https://doi.org/10.1017/S0960129505004834

Møgelberg, R. E. & Birkedal, L. (2005). Categorical Models of Abadi-Plotkin's logic for parametricity. Mathematical Structures in Computer Science, 15(4), 709-772.

Birkedal, L., Torp-Smith, N. & Yang, H. (2005). Semantics of Separation-logic Typing and Higher-order Frame Rules. I 20th Annual IEEE Symposium on Logic in Computer Science, 2005. LICS 2005. Proceedings (s. 260-269). IEEE. https://doi.org/10.1109/LICS.2005.47

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. I 2004 IEEE 6th Workshop on Multimedia Signal Processing (s. 462-464). IEEE Press. https://doi.org/10.1109/MMSP.2004.1436595

Tofte, M., Birkedal, L., Elsman, M. & Hallenberg, N. (2004). A retrospective on Region-based Memory Management. Higher-Order and Symbolic Computation, 17(3), 245-265. https://doi.org/10.1023/B:LISP.0000029446.78563.a4

Birkedal, L. & Hildebrandt, T. (2004). Bigraphical Programming Languages: A LaCoMoCo research project .

Niss, H. & Birkedal, L. (red.) (2004). Context-aware computing: proceedings of conference on Context-aware Computing, Copenhagen, November 30, 2004. IT University of Copenhagen.

Bauer, A., Birkedal, L. & Scott, D. S. (2004). Equilogical spaces. Theoretical Computer Science, 315(1), 35-59. https://doi.org/10.1016/j.tcs.2003.11.012

Birkedal, L., Torp-Smith, N. & Reynolds, J. C. (2004). Local reasoning about a copying garbage collector. SIGPLAN Notices, 39(1), 220-231. http://www.scopus.com/inward/record.url?scp=1442263140&partnerID=8YFLogxK

Birkedal, L. (red.) (2004). Proceedings of the 10th Conference on Category Theory in Computer Science (CTCS 2004). Elsevier. Electronic Notes in Theoretical Computer Science Bind 122 https://doi.org/10.1016/j.entcs.2004.11.009

Birkedal, L., Escardo, M., Jung, A. & Rosolini, G. (red.) (2004). Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott. Elsevier. Theoretical Computer Science Bind 316 Nr. 1-3 http://www.sciencedirect.com/science/journal/03043975/316/1-3

Awodey, S. & Birkedal, L. (2003). Elementary axioms for local maps of toposes. Journal of Pure and Applied Algebra, 177(3), 215-230. https://doi.org/10.1016/S0022-4049(02)00283-9

Birkedal, L. (2002). A general notion of realizability. Bulletin of Symbolic Logic, 8(2), 266-282. http://www.scopus.com/inward/record.url?scp=0036017415&partnerID=8YFLogxK

Awodey, S., Birkedal, L. & Scott, D. S. (2002). Local realizability toposes and a modal logic for computability. Mathematical Structures in Computer Science, 12(3), 319-334. https://doi.org/10.1017/S0960129502003675

Birkedal, L., Rosolini, G., Scott, D. S. & van Oosten, J. (red.) (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 Bind 12 Nr. 3, special issue http://journals.cambridge.org/action/displayIssue?decade=2000&jid=MSC&volumeId=12&issueId=03&iid=114628

Birkedal, L. & van Oosten, J. (2002). Relative and modified relative realizability. Annals of Pure and Applied Logic, 118(1-2), 115-132. https://doi.org/10.1016/S0168-0072(01)00122-1

Birkedal, L. & Tofte, M. (2001). A constraint-based region inference algorithm. Theoretical Computer Science, 258(1-2), 299-392. https://doi.org/10.1016/S0304-3975(00)00025-6

Birkedal, L. (2000). A general notion of realizability. I 15th Annual IEEE Symposium on Logic in Computer Science, 2000. Proceedings. (s. 7 - 17). IEEE Signal Processing Society. https://doi.org/10.1109/LICS.2000.855751

Bauer, A. & Birkedal, L. (2000). Continuous Functionals of Dependent Types and Equilogical Spaces. I P. G. Clote & H. Schwichtenberg (red.), Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings (s. 202-216). Springer. https://doi.org/10.1007/3-540-44622-2_13

Birkedal, L. (2000). Developing theories of types and computability via realizability. Elsevier. Electronic Notes in Theoretical Computer Science Bind 34 https://doi.org/10.1016/S1571-0661(05)80642-5

Tofte, M. & Birkedal, L. (2000). Unification and polymorphism in region inference: essays in honour of Robin Milner. I G. Plotkin , C. Stirling & M. Tofte (red.), Proof, language, and interaction (s. 389-423 ). MIT Press. http://dl.acm.org/citation.cfm?id=345868.345907&coll=DL&dl=GUIDE&CFID=560593603&CFTOKEN=90733199

Awodey, S., Birkedal, L. & Scott, D. S. (1999). Local realizability toposes and a modal logic for computability - (Extended Abstract). Electronic Notes in Theoretical Computer Science, 23(1), 13-26. https://doi.org/10.1016/S1571-0661(04)00101-X

Birkedal, L., van Oosten, J., Rosolini, G. & Scott, D. S. (red.) (1999). 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. Electronic Notes in Theoretical Computer Science Bind 23 Nr. 1 http://www.journals.elsevier.com/electronic-notes-in-theoretical-computer-science/

Birkedal, L. & Harper, R. (1999). Relational Interpretations of Recursive Types in an Operational Setting. Information and Computation, 155(1-2), 3-63. http://www.scopus.com/inward/record.url?scp=0000650306&partnerID=8YFLogxK

Tofte, M. & Birkedal, L. (1998). A Region Inference Algorithm. A C M Transactions on Programming Languages and Systems, 20(4), 724-767. http://www.scopus.com/inward/record.url?scp=0032108162&partnerID=8YFLogxK

Birkedal, L., Carboni, A., Rosolini, G. & Scott, D. S. (1998). Type theory via exact categories. I K. Kelly (red.), Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science: 21-24 Jun 1998, Indianapolis, IN (s. 188 - 198 ). IEEE. https://doi.org/10.1109/LICS.1998.705655

Birkedal, L. & Harper, R. (1997). Relational interpretations of recursive types in an operational setting: (Summary). I M. Abadi & T. Ito (red.), Theoretical Aspects of Computer Software: Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings (s. 458-490). Springer. https://doi.org/10.1007/BFb0014563

Birkedal, L., Tofte, M. & Vejlstrup, M. (1996). From region inference to von Neumann machines via region representation inference. I Proceedings of the 1996 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: St.Petersburg, FL, USA; ; 21 January 1996 through 24 January 1996 (s. 171-183). Association for Computing Machinery. http://www.scopus.com/inward/record.url?scp=0029725194&partnerID=8YFLogxK

Birkedal, L. & Welinder, M. (1995). Binding-time analysis for Standard ML. Higher-Order and Symbolic Computation, 8(3), 191-208. https://doi.org/10.1007/BF01019003

Birkedal, L. & Welinder, M. (1995). Binding-time analysis for Standard ML. I 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. (s. 61-71). University of Melbourne. Department of Computer Science.

Birkedal, L. & Welinder, M. (1994). Hand-writing program generator generators. I M. Hermenegildo & J. Penjam (red.), Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings (s. 198-214). Springer VS. https://doi.org/10.1007/3-540-58402-1_15

Viser resultater 301 til 332 ud af 332

Forrige

Revideret 17.04.2023

Sofia Hedegaard Rasmussen