J. Palsberg
发表
J. Palsberg,
1996
.
D. Kozen,
J. Palsberg,
M. Schwartzbach,
1994
.
J. Palsberg,
1995
.
Jens Palsberg,
William R. Cook,
J. Palsberg,
1989,
OOPSLA.
Jens Palsberg,
Patrick O'Keefe,
J. Palsberg,
1995,
TOPL.
J. Palsberg,
M. Schwartzbach,
1992
.
J. Palsberg,
R. Majumdar,
Jonathan K. Lee,
2010
.
Jens Palsberg,
Dexter Kozen,
Michael I. Schwartzbach,
1992,
Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
D. Kozen,
J. Palsberg,
M. Schwartzbach,
1992
.
Jens Palsberg,
Vivek Sarkar,
Geoff Lowney,
2010
.
Jens Palsberg,
Vivek Sarkar,
Ryan Newton,
2010,
Sci. Program..
Jens Palsberg,
Dennis Brylow,
J. Palsberg,
2003,
IEEE Transactions on Software Engineering.
Jens Palsberg,
Michael I. Schwartzbach,
Ole Agesen,
1995,
Softw. Pract. Exp..
Jens Palsberg,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1992,
ECOOP.
J. Palsberg,
Di Ma,
2004
.
Jens Palsberg,
Jan Vitek,
Tian Zhao,
2003,
OOPSLA '03.
Jens Palsberg,
Somesh Jha,
Tian Zhao,
2002,
FoSSaCS.
J. Palsberg,
B. Patt-Shamir,
M. Wand,
1995
.
J. Palsberg,
2004
.
J. Palsberg,
M. Schwartzbach,
1994
.
J. Palsberg,
Matt Brown,
2015
.
Blake R. Johnson,
Dripto M. Debroy,
J. M. Donohue,
2021,
IEEE Transactions on Education.
Jens Palsberg,
J. Palsberg,
2009,
Semantics and Algebraic Specification.
J. Palsberg,
1999
.
J. Palsberg,
M. Schwartzbach,
1991
.
J. Palsberg,
2007
.
Jens Palsberg,
Dexter Kozen,
Michael I. Schwartzbach,
1992,
POPL '93.
Jens Palsberg,
Ryan Kastner,
Andre DeHon,
2005,
DAC 2005.
J. Palsberg,
Tian Zhao,
2001
.
Jens Palsberg,
Rupak Majumdar,
Klaus Havelund,
2008
.
J. Palsberg,
M. Lesani,
2012
.
J. Palsberg,
Patrick O'Keefe,
1995,
POPL '95.
Andrew W. Appel,
Jens Palsberg,
J. Palsberg,
2002
.
Andrew W. Appel,
Jens Palsberg,
J. Palsberg,
1997
.
Andrew W. Appel,
Jens Palsberg,
J. Palsberg,
2002
.
Andrew W. Appel,
Jens Palsberg,
J. Palsberg,
2002
.
Andrew W. Appel,
Jens Palsberg,
J. Palsberg,
1997
.
Andrew W. Appel,
Jens Palsberg,
J. Palsberg,
1997
.
Andrew W. Appel,
Jens Palsberg,
J. Palsberg,
2002
.
Andrew W. Appel,
Jens Palsberg,
J. Palsberg,
2002
.
Andrew W. Appel,
Jens Palsberg,
J. Palsberg,
2002
.
Andrew W. Appel,
Jens Palsberg,
J. Palsberg,
1997
.
Andrew W. Appel,
Jens Palsberg,
J. Palsberg,
2002
.
Andrew W. Appel,
Jens Palsberg,
J. Palsberg,
2002
.
Andrew W. Appel,
Jens Palsberg,
J. Palsberg,
2002
.
Andrew W. Appel,
Jens Palsberg,
J. Palsberg,
1997
.
J. Palsberg,
2012
.
J. Palsberg,
W. Cook,
1989,
OOPSLA '89.
Jens Palsberg,
Luca Cardelli,
Achim Jung,
2021
.
Jens Palsberg,
William R. Cook,
J. Palsberg,
1989
.
Jens Palsberg,
Zhendong Su,
J. Palsberg,
2000
.
Jens Palsberg,
Nengkun Yu,
J. Palsberg,
2021,
Artifact Digital Object Group.
Jens Palsberg,
J. Palsberg,
1996,
CSUR.
Jens Palsberg,
J. Palsberg,
1996,
CSUR.
Jens Palsberg,
Michael I. Schwartzbach,
J. Palsberg,
1992,
OOPSLA '92.
Jens Palsberg,
Ben L. Titzer,
J. Palsberg,
2005,
LCTES '05.
Jens Palsberg,
Yan Cai,
Lei Qiao,
2021,
ESEC/SIGSOFT FSE.
Jens Palsberg,
Minseok Kwon,
Sowmya Krishnaswamy,
2000
.
Jens Palsberg,
Jeffrey H. Hunt,
Scott Koziol,
2020,
Quantum Science and Technology.
Jens Palsberg,
Luca de Alfaro,
J. Palsberg,
2008,
EMSOFT.
Jens Palsberg,
Christian Grothoff,
Neal Glew,
2005,
SAS.
Jens Palsberg,
Lei Liu,
Marco Di Natale,
2014,
J. Syst. Archit..
Jens Palsberg,
Scott J. Baxter,
J. Palsberg,
2002,
CACM.
Jens Palsberg,
Andrew P. Black,
J. Palsberg,
1994
.
Jens Palsberg,
Manuel V. Hermenegildo,
J. Palsberg,
2010,
POPL.
Jens Palsberg,
J. Palsberg,
1996,
Inf. Comput..
Fernando Magno Quintão Pereira,
J. Palsberg,
V. K. Nandivada,
2005
.
Jens Palsberg,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1990,
ECOOP.
Jens Palsberg,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1990,
OOPSLA/ECOOP '90.
Jens Palsberg,
Holger Hermanns,
J. Palsberg,
2019,
Lecture Notes in Computer Science.
Jens Palsberg,
Fernando Magno Quintão Pereira,
J. Palsberg,
2010,
CC.
Jens Palsberg,
Fernando Magno Quintão Pereira,
J. Palsberg,
2008,
PLDI '08.
Jens Palsberg,
Fernando Magno Quintão Pereira,
Jonathan K. Lee,
2007,
Theor. Comput. Sci..
Jens Palsberg,
Fernando Magno Quintão Pereira,
Fernando Magno Quintão Pereira,
2006,
FoSSaCS.
Jens Palsberg,
Mahdi Eslamimehr,
Oren Freiberg,
2016,
2016 12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA).
Jens Palsberg,
J. Palsberg,
1992
.
Jens Palsberg,
J. Palsberg,
1992,
ESOP.
Jens Palsberg,
Jan Vitek,
Christian Grothoff,
2001,
TOPL.
Jens Palsberg,
Christian Gram Kalhauge,
J. Palsberg,
2019,
ESEC/SIGSOFT FSE.
Jens Palsberg,
Todd D. Millstein,
J. Palsberg,
2007,
The Compiler Design Handbook, 2nd ed..
Jens Palsberg,
Peter Ørbæk,
J. Palsberg,
1995,
Journal of Functional Programming.
Jens Palsberg,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1991,
Sci. Comput. Program..
Jens Palsberg,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1991,
OOPSLA '91.
Jens Palsberg,
Michael I. Schwartzbach,
J. Palsberg,
1990
.
Jens Palsberg,
Isil Dillig,
J. Palsberg,
2018,
Lecture Notes in Computer Science.
Jens Palsberg,
Linda M. Seiter,
Karl Lieberherr,
1996,
SIGSOFT '96.
Jens Palsberg,
V. Krishna Nandivada,
J. Palsberg,
2006,
CC.
Jens Palsberg,
Oded Padon,
Auguste Hirth,
2021,
ArXiv.
Jens Palsberg,
Tian Zhao,
J. Palsberg,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Umut A. Acar,
Zhihao Jia,
Sina Lin,
2022,
PLDI.
Jens Palsberg,
Albert Cohen,
Özcan Özturk,
2013,
TACO.
Jens Palsberg,
Javier Esparza,
Allan Cheng,
1993,
Theor. Comput. Sci..
Jens Palsberg,
Jan Vitek,
Tian Zhao,
2006,
J. Funct. Program..
Jens Palsberg,
Olivier Danvy,
Karoline Malmkjær,
1995,
TOPL.
Jens Palsberg,
Michael I. Schwartzbach,
J. Palsberg,
1992,
Inf. Comput..
Jens Palsberg,
Michael I. Schwartzbach,
M. I. Schwartzbach,
1992
.
Jens Palsberg,
Rupak Majumdar,
Hong Hong,
2012,
SAS.
Jens Palsberg,
Jonathan K. Lee,
J. Palsberg,
2010,
PPoPP '10.
Jens Palsberg,
Bradley J. Lucier,
Sudhakar Mamillapalli,
1998
.
Jens Palsberg,
Christian Grothoff,
Vijay A. Saraswat,
2008,
OOPSLA.
Jens Palsberg,
Christian Grothoff,
Vijay Saraswat,
2006
.
Jens Palsberg,
Christian Grothoff,
Vijay Saraswat,
2006
.
Jens Palsberg,
Christian Grothoff,
J. Palsberg,
2006
.
Jens Palsberg,
Alexander Aiken,
Edward L. Wimmers,
1999,
High. Order Symb. Comput..
Jens Palsberg,
Cristina V. Lopes,
J. Palsberg,
2018,
ISSTA/ECOOP Workshops.
J. Palsberg,
Yan Cai,
Hao Yun,
2021,
ESEC/SIGSOFT FSE.
Jens Palsberg,
Yan Cai,
Ruijie Meng,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Jens Palsberg,
Christian Gram Kalhauge,
J. Palsberg,
2018,
Proc. ACM Program. Lang..
Jens Palsberg,
Mahdi Eslamimehr,
J. Palsberg,
2014,
SIGSOFT FSE.
Jens Palsberg,
Ben L. Titzer,
Daniel K. Lee,
2005,
IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..
Jens Palsberg,
Karl J. Lieberherr,
Cun Xiao,
1995,
TOPL.
Jens Palsberg,
C. Barry Jay,
J. Palsberg,
1998,
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241).
Jens Palsberg,
Dexter Kozen,
Michael I. Schwartzbach,
1992,
POPL '93.
Jens Palsberg,
Dexter Kozen,
Michael I. Schwartzbach,
1992,
Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
Jens Palsberg,
Fernando Magno Quintão Pereira,
Fernando Magno Quintão Pereira,
2005,
APLAS.
Umut A. Acar,
A. Aiken,
Zhihao Jia,
2022,
ArXiv.
Jens Palsberg,
Antony L. Hosking,
Thomas VanDrunen,
2000
.
Jens Palsberg,
V. Krishna Nandivada,
J. Palsberg,
2005,
11th IEEE Real Time and Embedded Technology and Applications Symposium.
Jens Palsberg,
Nengkun Yu,
J. Palsberg,
2021,
PLDI.
Christian Gram Kalhauge,
J. Palsberg,
Shuyang Liu,
2022,
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE).
J. Palsberg,
H. Hermanns,
2019,
Lecture Notes in Computer Science.
Jens Palsberg,
Fernando Magno Quintão Pereira,
Fernando Magno Quintão Pereira,
2009,
CC.
Jens Palsberg,
J. Palsberg,
2001,
PASTE '01.
J. Palsberg,
A. Appel,
2002
.
Jens Palsberg,
Mahdi Eslamimehr,
J. Palsberg,
2013,
2013 IEEE 37th Annual Computer Software and Applications Conference.
Andrew W. Appel,
Jens Palsberg,
J. Palsberg,
2002
.
Jens Palsberg,
Mohsen Lesani,
John Bender,
2015,
OOPSLA.
Jens Palsberg,
C. Barry Jay,
J. Palsberg,
2011,
ICFP.
J. Palsberg,
T. Jim,
Jim,
1997
.
Jens Palsberg,
John Bender,
J. Palsberg,
2019,
Proc. ACM Program. Lang..
Jens Palsberg,
J. Palsberg,
1994,
CAAP.
Jens Palsberg,
J. Palsberg,
1995,
TOPL.
Jens Palsberg,
Fernando Magno Quintão Pereira,
V. Krishna Nandivada,
2007,
SAS.
Jens Palsberg,
Dennis Brylow,
Niels Damgaard,
2001,
Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Martín Abadi,
Jens Palsberg,
J. Palsberg,
2005,
POPL.
J. Palsberg,
Dennis Brylow,
Marquette,
2022
.
Jens Palsberg,
Tian Zhao,
J. Palsberg,
2004,
Inf. Comput..
Jens Palsberg,
Tian Zhao,
Trevor Jim,
2005,
TOPL.
Jens Palsberg,
J. Palsberg,
2012,
Logic and Program Semantics.
Jens Palsberg,
J. Palsberg,
1998,
Partial Evaluation.
Jens Palsberg,
J. Palsberg,
1993,
Journal of Functional Programming.
Jens Palsberg,
Olivier Danvy,
Karoline Malmkjær,
1996
.
J. Palsberg,
John Bender,
Shuyang Liu,
2022,
Dagstuhl Artifacts Ser..
Jens Palsberg,
Christina Pavlopoulou,
J. Palsberg,
1998,
POPL '98.
Jens Palsberg,
J. Palsberg,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.