L. Birkedal
发表
Aleksandar Nanevski,
L. Birkedal,
2008
.
Thomas T. Hildebrandt,
E. Elsborg,
L. Birkedal,
2006
.
Lars Birkedal,
Bodil Biering,
Noah Torp-Smith,
2005,
ESOP.
Lars Birkedal,
Jonas Braband Jensen,
L. Birkedal,
2012,
ESOP.
Lars Birkedal,
Amin Timany,
Léo Stefanesco,
2017,
Proc. ACM Program. Lang..
L. Birkedal,
Lau Skorstengaard,
D. Devriese,
2017
.
Rasmus Ejlers Møgelberg,
Lars Birkedal,
Rasmus Lerchedahl Petersen,
2006
.
Rasmus Ejlers Møgelberg,
Lars Birkedal,
Rasmus Lerchedahl Petersen,
2005
.
Pedro da Rocha Pinto,
L. Birkedal,
Thomas Dinsdale-Young,
2019
.
Pedro da Rocha Pinto,
L. Birkedal,
K. Andersen,
2017
.
L. Birkedal,
A. Bizjak,
2014
.
L. Birkedal,
C. Varming,
2010
.
L. Birkedal,
1998
.
L. Birkedal,
2022
.
Hans Bugge Grathwohl,
L. Birkedal,
A. Bizjak,
2016,
Log. Methods Comput. Sci..
Hans Bugge Grathwohl,
L. Birkedal,
A. Bizjak,
2015,
FoSSaCS.
L. Birkedal,
Bas Spitters,
B. Mannaa,
2019
.
Martin Hofmann,
Lars Birkedal,
Nick Benton,
2010
.
L. Birkedal,
Daniel Gratzer,
Jonathan Sterling,
2022,
ArXiv.
L. Birkedal,
A. Timany,
Léon Gondelman,
2022,
Proc. ACM Program. Lang..
J. G. Morrisett,
Aleksandar Nanevski,
L. Birkedal,
2008,
ICFP.
L. Birkedal,
T. C. Damgaard,
A. Glenstrup,
2007
.
Rasmus Ejlers Møgelberg,
Lars Birkedal,
L. Birkedal,
2004
.
Lars Birkedal,
L. Birkedal,
2004,
CTCS.
Lars Birkedal,
Kristian Støvring,
Jacob Thamsborg,
2010,
Mathematical Structures in Computer Science.
Lars Birkedal,
Amin Timany,
L. Birkedal,
2021
.
Lars Birkedal,
Ales Bizjak,
L. Birkedal,
2018,
Theor. Comput. Sci..
L. Birkedal,
A. Bauer,
2008
.
Lars Birkedal,
Ales Bizjak,
L. Birkedal,
2015,
ArXiv.
Lars Birkedal,
Robbert Krebbers,
Paolo G. Giarrusso,
2020,
Proc. ACM Program. Lang..
Lars Birkedal,
L. Birkedal,
2012
.
Lars Birkedal,
L. Birkedal,
S. Awodey,
2003
.
Lars Birkedal,
L'eo Stefanesco,
Amin Timany,
2021,
ArXiv.
Joseph Tassarotti,
Lars Birkedal,
Derek Dreyer,
2021,
PLDI.
Lars Birkedal,
Morten Welinder,
L. Birkedal,
1993
.
Lars Birkedal,
L. Birkedal,
2014
.
Lars Birkedal,
L. Birkedal,
2007,
Stud Logica.
Lars Birkedal,
Kasper Svendsen,
Nikos Tzevelekos,
2021,
Proc. ACM Program. Lang..
Lars Birkedal,
Peter Sestoft,
Jonas Braband Jensen,
2010,
J. Object Technol..
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
pdf
Lars Birkedal,
Robbert Krebbers,
Dan Frumin,
2020,
Log. Methods Comput. Sci..
Simon Friis Vindum,
L. Birkedal,
2020
.
Lars Birkedal,
Noah Torp-Smith,
L. Birkedal,
2005
.
T. Coquand,
L. Birkedal,
C. Angiuli,
2022,
ArXiv.
L. Birkedal,
Daniel Gratzer,
Philipp Stassen,
2022
.
Philipp G. Haselwarter,
L. Birkedal,
Joseph Tassarotti,
2023,
ArXiv.
Lars Birkedal,
Morten Welinder,
L. Birkedal,
2005
.
Rasmus Ejlers Møgelberg,
Lars Birkedal,
Rasmus Lerchedahl Petersen,
2007,
Theor. Comput. Sci..
Rasmus Ejlers Møgelberg,
Lars Birkedal,
Rasmus Lerchedahl Petersen,
2006,
Log. Methods Comput. Sci..
L. Birkedal,
1998
.
Bas Spitters,
Andrew M. Pitts,
Bassel Mannaa,
2018,
Mathematical Structures in Computer Science.
Lars Birkedal,
Kristian Støvring,
Jacob Thamsborg,
2010,
Theor. Comput. Sci..
Lars Birkedal,
Andreas Nuyts,
Daniel Gratzer,
2020,
LICS.
Lars Birkedal,
Daniel Gratzer,
Jonathan Sterling,
2019,
Proc. ACM Program. Lang..
Lars Birkedal,
Steven Awodey,
Dana S. Scott,
2002,
Mathematical Structures in Computer Science.
Lars Birkedal,
Troels Christoffer Damgaard,
L. Birkedal,
2006,
Nord. J. Comput..
Hongseok Yang,
Lars Birkedal,
Matthew J. Parkinson,
2013,
POPL.
Lars Birkedal,
Derek Dreyer,
Robbert Krebbers,
2018,
Journal of Functional Programming.
Lars Birkedal,
Thomas Dinsdale-Young,
Pedro da Rocha Pinto,
2017,
ESOP.
Lars Birkedal,
Derek Dreyer,
Robbert Krebbers,
2017,
ESOP.
Lars Birkedal,
Robbert Krebbers,
Amin Timany,
2017,
POPL.
Lars Birkedal,
Filip Sieczkowski,
Derek Dreyer,
2015,
POPL.
Lars Birkedal,
Kasper Svendsen,
L. Birkedal,
2014,
ESOP.
Thomas Van Strydonck,
Aïna Linn Georges,
F. Piessens,
2022,
2022 IEEE 35th Computer Security Foundations Symposium (CSF).
Aïna Linn Georges,
L. Birkedal,
A. Trieu,
2022,
Proc. ACM Program. Lang..
Dominique Devriese,
Lars Birkedal,
Armaël Guéneau,
2021,
Proc. ACM Program. Lang..
Dominique Devriese,
Lars Birkedal,
Lau Skorstengaard,
2019,
ACM Trans. Program. Lang. Syst..
Dominique Devriese,
Lars Birkedal,
Lau Skorstengaard,
2018,
Journal of Functional Programming.
Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management
pdf
Dominique Devriese,
Lars Birkedal,
Lau Skorstengaard,
2018,
ESOP.
Dominique Devriese,
Frank Piessens,
Lars Birkedal,
2016,
2016 IEEE European Symposium on Security and Privacy (EuroS&P).
Lars Birkedal,
Amin Timany,
L. Birkedal,
2021,
CPP.
Lars Birkedal,
J. Gregory Morrisett,
Aleksandar Nanevski,
2008,
Journal of Functional Programming.
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
pdf
Lars Birkedal,
Robbert Krebbers,
Dan Frumin,
2020,
Log. Methods Comput. Sci..
Lars Birkedal,
Robbert Krebbers,
Dan Frumin,
2018,
LICS.
G. A. Kavvos,
L. Birkedal,
Daniel Gratzer,
2022,
ACM Trans. Comput. Log..
Magnus Baunsgaard Kristensen,
L. Birkedal,
Daniel Gratzer,
2022,
ArXiv.
Gilles Barthe,
Marco Gaboardi,
Lars Birkedal,
2018,
ESOP.
Hans Bugge Grathwohl,
L. Birkedal,
Bas Spitters,
2016,
Journal of Automated Reasoning.
Bas Spitters,
Lars Birkedal,
Andrea Vezzosi,
2016,
CSL.
Rasmus Ejlers Møgelberg,
Lars Birkedal,
Ales Bizjak,
2016,
FoSSaCS.
L. Birkedal,
Daniel Gratzer,
2022,
FSCD.
L. Birkedal,
Daniel Gratzer,
Philipp Stassen,
2022,
TYPES.
Lars Birkedal,
Derek Dreyer,
Robbert Krebbers,
2016,
ICFP.
Lars Birkedal,
Filip Sieczkowski,
Ales Bizjak,
2015,
ITP.
Lars Birkedal,
Marino Miculan,
Ales Bizjak,
2014,
RTA-TLCA.
Rasmus Ejlers Møgelberg,
Lars Birkedal,
Jan Schwinghammer,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Lars Birkedal,
L. Birkedal,
2012,
Advances in Modal Logic.
Lars Birkedal,
Jan Schwinghammer,
Kristian Støvring,
2010,
FICS.
Lars Birkedal,
L. Birkedal,
2000,
Electronic Notes in Theoretical Computer Science.
Lars Birkedal,
Søren Debois,
Thomas T. Hildebrandt,
2006,
CONCUR.
Lars Birkedal,
Søren Debois,
Thomas T. Hildebrandt,
2006,
FoSSaCS.
Thomas T. Hildebrandt,
L. Birkedal,
S. Debois,
2008
.
Thomas T. Hildebrandt,
L. Birkedal,
S. Debois,
2007
.
Lars Birkedal,
Troels C. Damgaard,
L. Birkedal,
2006
.
Robin Milner,
Lars Birkedal,
Troels Christoffer Damgaard,
2007,
GT-VC@CONCUR.
Robin Milner,
Lars Birkedal,
Troels Christoffer Damgaard,
2013,
Formal Aspects of Computing.
Lars Birkedal,
Mads Tofte,
M. Tofte,
2000,
Proof, Language, and Interaction.
Lars Birkedal,
Bodil Biering,
Noah Torp-Smith,
2007,
TOPL.
Lars Birkedal,
Derek Dreyer,
Aaron Turon,
2013,
ICFP.
Lars Birkedal,
Matthew J. Parkinson,
Kasper Svendsen,
2013,
ESOP.
Lars Birkedal,
Filip Sieczkowski,
Jacob Thamsborg,
2012,
CSL.
Martin Elsman,
Niels Hallenberg,
Lars Birkedal,
2004,
High. Order Symb. Comput..
Lars Birkedal,
John C. Reynolds,
Jonathan Aldrich,
2006
.
Lars Birkedal,
Derek Dreyer,
Aaron Turon,
2013,
POPL.
Hongseok Yang,
Lars Birkedal,
Noah Torp-Smith,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Lars Birkedal,
Kasper Svendsen,
Aleksandr Karbyshev,
2018,
POST.
Rasmus Ejlers Møgelberg,
Lars Birkedal,
Marco Paviotti,
2015,
MFPS.
Lars Birkedal,
G. A. Kavvos,
Zesen Qian,
2020,
Proc. ACM Program. Lang..
G. A. Kavvos,
L. Birkedal,
Zesen Qian,
2021
.
Andrej Bauer,
Lars Birkedal,
Dana S. Scott,
2004,
Theor. Comput. Sci..
Andrej Bauer,
Lars Birkedal,
L. Birkedal,
2000,
CSL.
Lars Birkedal,
Giuseppe Rosolini,
Dana S. Scott,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Lars Birkedal,
Mads Tofte,
Magnus Vejlstrup,
1996,
POPL '96.
Lars Birkedal,
Amin Timany,
Johan Bay,
2021,
Proc. ACM Program. Lang..
Lars Birkedal,
Filip Sieczkowski,
Peter Sestoft,
2012,
VSTTE.
Lars Birkedal,
J. Gregory Morrisett,
Aleksandar Nanevski,
2007,
ESOP.
L. Birkedal,
Daniel Gratzer,
Jonathan Sterling,
2023,
2307.16608.
L. Birkedal,
Daniel Gratzer,
Jonathan Sterling,
2022,
ArXiv.
Rasmus Ejlers Møgelberg,
Lars Birkedal,
L. Birkedal,
2005,
Mathematical Structures in Computer Science.
Lars Birkedal,
J. Gregory Morrisett,
Aleksandar Nanevski,
2006,
ICFP '06.
Lars Birkedal,
Ales Bizjak,
L. Birkedal,
2018,
MFPS.
Lars Birkedal,
Filip Sieczkowski,
Kasper Svendsen,
2016,
ESOP.
Hongseok Yang,
Lars Birkedal,
Jan Schwinghammer,
2011,
POPL '11.
Lars Birkedal,
Jesper Bengtson,
Jonas Braband Jensen,
2012,
ITP.
Rasmus Ejlers Møgelberg,
Lars Birkedal,
L. Birkedal,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Lars Birkedal,
Kasper Svendsen,
Aleksandar Nanevski,
2011,
TLCA.
L. Birkedal,
D. Frumin,
Amin Timany,
2023,
Proc. ACM Program. Lang..
Lars Birkedal,
Kristian Støvring,
Jacob Thamsborg,
2012,
J. Log. Algebraic Methods Program..
Lars Birkedal,
Nick Benton,
Andrew Kennedy,
2010
.
Hongseok Yang,
Lars Birkedal,
Jan Schwinghammer,
2009,
CSL.
L. Birkedal,
Kristian Støvring,
Jacob Thamsborg,
2009,
FoSSaCS.
Lars Birkedal,
Kristian Støvring,
Jacob Thamsborg,
2009,
FICS.
L. Birkedal,
Jan Schwinghammer,
Bernhard Reus,
2009
.
Lars Birkedal,
Georg Neis,
Derek Dreyer,
2010,
POPL '10.
Lars Birkedal,
Kasper Svendsen,
Jonathan Aldrich,
2009,
TLDI '09.
Hans Bugge Grathwohl,
L. Birkedal,
A. Bizjak,
2016,
FoSSaCS.