Jan Midtgaard

发表

Matthew Might, Jan Midtgaard, 2012, Electron. Notes Theor. Comput. Sci..
Olivier Danvy, Dariusz Biernacki, Mads Sig Ager, 2003, PPDP '03.
Dave Clarke, Ilya Sergey, Jan Midtgaard, 2012, MPC.
Aske Simon Christensen, Ian Zerny, Jan Midtgaard, 2015 .
Olivier Danvy, Dariusz Biernacki, Mads Sig Ager, 2003 .
Norman Ramsey, Jan Midtgaard, Bradford Larsen, 2013, PPDP.
Olivier Danvy, Mads Sig Ager, Jan Midtgaard, 2003, Inf. Process. Lett..
Olivier Danvy, Jan Midtgaard, O. Danvy, 2011, Commun. ACM.
R. Kent Dybvig, Matthew Might, R. K. Dybvig, 2011, OOPSLA '11.
Jan Midtgaard, Árpád Perényi, Jan Midtgaard, 2020, APLAS.
Norman Ramsey, Jan Midtgaard, Bradford Larsen, 2013 .
Flemming Nielson, Hanne Riis Nielson, Jan Midtgaard, 2017, Proc. ACM Program. Lang..
Flemming Nielson, Hanne Riis Nielson, Jan Midtgaard, 2016, SAS.
Dominique Devriese, Frank Piessens, David Darais, 2013, PLDI.
Anders Møller, Jan Midtgaard, 2017, Softw. Test. Verification Reliab..
Dominique Devriese, Frank Piessens, David Darais, 2013, ACM-SIGPLAN Symposium on Programming Language Design and Implementation.
David Van Horn, Jan Midtgaard, Jan Midtgaard, 2009 .
Flemming Nielson, Hanne Riis Nielson, Jan Midtgaard, 2016, PPDP.
Flemming Nielson, Hanne Riis Nielson, Jan Midtgaard, 2018, SAS.
Anders Møller, Jan Midtgaard, Anders Møller, 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).
Jan Midtgaard, Jan Midtgaard, 2007, CSUR.
Jan Midtgaard, 2017, TFP.
Olivier Danvy, Dariusz Biernacki, Mads Sig Ager, 2003 .
Dave Clarke, Ilya Sergey, Jan Midtgaard, 2011 .
Claus Brabrand, Andrzej Wasowski, Jan Midtgaard, 2014, MODULARITY.
Claus Brabrand, Andrzej Wasowski, Aleksandar Dimovski, 2015, Sci. Comput. Program..
Thomas P. Jensen, Jan Midtgaard, T. Jensen, 2008, SAS.
Jan Midtgaard, Alexander Bjerremand Hansen, 2012 .
Thomas P. Jensen, Jan Midtgaard, T. Jensen, 2009, Inf. Comput..