Jens Palsberg

发表

Jens Palsberg, 1992, Proceedings of the 1992 International Conference on Computer Languages.
Jens Palsberg, Lei Liu, Marco Di Natale, 2014, J. Syst. Archit..
Jens Palsberg, Neal Glew, 2002, ECOOP.
Jens Palsberg, Y. Zhang, Di Ma, 2000, Proceedings 16th Annual Computer Security Applications Conference (ACSAC'00).
Jens Palsberg, J. Palsberg, 2012, Logic and Program Semantics.
Jens Palsberg, J. Palsberg, 1992, ESOP.
Jens Palsberg, Erik Meineche Schmidt, Gudmund Skovbjerg Frandsen, 1993 .
Jens Palsberg, Mayur Naik, 2002, LCTES/SCOPES '02.
Jens Palsberg, J. Palsberg, 1992 .
Jens Palsberg, Stephen Kou, 2010, OOPSLA.
Jens Palsberg, Chris Hankin, Hanne Riis Nielson, 1996, CSUR.
Jens Palsberg, Michael I. Schwartzbach, 1991, OOPSLA 1991.
Andrew W. Appel, Jens Palsberg, J. Palsberg, 1997 .
Jens Palsberg, 1993, Inf. Process. Lett..
Jens Palsberg, Vivek Sarkar, Geoff Lowney, 2010 .
Jens Palsberg, William R. Cook, 1989, OOPSLA.
Jens Palsberg, Tian Zhao, J. Palsberg, 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Jens Palsberg, Matt Brown, 2018, Proc. ACM Program. Lang..
Jens Palsberg, Michael Schwartzbach, 1992, OOPSLA '92.
Jens Palsberg, Di Ma, 2002, FTRTFT.
Jens Palsberg, Michael I. Schwartzbach, J. Palsberg, 1992, Inf. Comput..
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Jens Palsberg, Jeffrey H. Hunt, Scott Koziol, 2020, Quantum Science and Technology.
Jens Palsberg, Karl J. Lieberherr, Cun Xiao, 1995, TOPL.
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Jens Palsberg, Scott F. Smith, 1996, TOPL.
Jens Palsberg, Christian Gram Kalhauge, J. Palsberg, 2018, Proc. ACM Program. Lang..
Jens Palsberg, J. Palsberg, 1996, CSUR.
Jens Palsberg, Ben L. Titzer, 2009, Semantics and Algebraic Specification.
Jens Palsberg, James C. Hoe, 2008, Des. Autom. Embed. Syst..
Jens Palsberg, Fernando Magno Quintão Pereira, J. Palsberg, 2010, CC.
Jens Palsberg, Jan Vitek, Tian Zhao, 2006, J. Funct. Program..
Jens Palsberg, Minseok Kwon, Sowmya Krishnaswamy, 2000 .
Jens Palsberg, Javier Esparza, Allan Cheng, 1993 .
Jens Palsberg, Neal Glew, 2005, J. Object Technol..
Jens Palsberg, Tian Zhao, Trevor Jim, 2005, TOPL.
Jens Palsberg, Joshua S. Auerbach, David F. Bacon, 2007, PLDI '07.
Jens Palsberg, 2008, VMCAI.
Jens Palsberg, 1995, Inf. Comput..
Jens Palsberg, Michael I. Schwartzbach, Ole Agesen, 1993 .
Jens Palsberg, Crista Lopes, Benjamin C. Pierce, 2020, Commun. ACM.
Zuohua Ding, Mingyue Jiang, Jens Palsberg, 2011, PESOS '11.
Jens Palsberg, J. Palsberg, 1993, Journal of Functional Programming.
Jens Palsberg, Mayur Naik, 2005, ESOP.
Jens Palsberg, Ben L. Titzer, 2007, CASES '07.
Jens Palsberg, J. Palsberg, 1994, CAAP.
Jens Palsberg, Mayur Naik, 2005 .
Jens Palsberg, Vivek Sarkar, Ryan Newton, 2010, Sci. Program..
Jens Palsberg, Shane Markstrum, Todd D. Millstein, 2006, ESOP.
Jens Palsberg, J. Palsberg, 1996, CSUR.
Jens Palsberg, J. Palsberg, 1995, TOPL.
Boaz Patt-Shamir, Jens Palsberg, Karl Lieberherr, 1997, Sci. Comput. Program..
Jens Palsberg, Peter Ørbæk, J. Palsberg, 1995, Journal of Functional Programming.
Jens Palsberg, Deborah Estrin, Todd Millstein, 2005 .
Jens Palsberg, Ben L. Titzer, J. Palsberg, 2005, LCTES '05.
Jens Palsberg, Michael I. Schwartzbach, Ole Agesen, 1993, ECOOP.
Jens Palsberg, Michael I. Schwartzbach, 1992, OOPS.
Jens Palsberg, Michael I. Schwartzbach, 1994, Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94).
Jens Palsberg, John Bender, J. Palsberg, 2019, Proc. ACM Program. Lang..
Jens Palsberg, Rupak Majumdar, Klaus Havelund, 2008 .
Jens Palsberg, 2006, APLAS.
Jens Palsberg, Michael I. Schwartzbach, 1994, Wiley professional computing.
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Jens Palsberg, Michael I. Schwartzbach, J. Palsberg, 1990 .
Jens Palsberg, Fernando Magno Quintão Pereira, V. Krishna Nandivada, 2007, SAS.
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Jens Palsberg, Fernando Magno Quintão Pereira, Fernando Magno Quintão Pereira, 2006, FoSSaCS.
Jens Palsberg, Peter Ørbæk, 1995 .
Andrew W. Appel, Jens Palsberg, J. Palsberg, 1997 .
Jens Palsberg, Jan Vitek, Christian Grothoff, 2001, TOPL.
Jens Palsberg, Linda M. Seiter, Karl Lieberherr, 1998, IEEE Trans. Software Eng..
Jens Palsberg, Dennis Brylow, Niels Damgaard, 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
Jens Palsberg, Boris Magnusson, L. Peter Deutsch, 1993, ECOOP.
Jens Palsberg, Matt Brown, 2015, POPL.
Jens Palsberg, Fernando Magno Quintão Pereira, J. Palsberg, 2008, PLDI '08.
Jens Palsberg, Mitchell Wand, Patrick O'Keefe, 1995, Math. Struct. Comput. Sci..
Jens Palsberg, Zeina Migeed, 2020, Proc. ACM Program. Lang..
Jens Palsberg, Tian Zhao, J. Palsberg, 2004, Inf. Comput..
Jens Palsberg, Albert Cohen, Özcan Özturk, 2013, TACO.
Andrew W. Appel, Jens Palsberg, J. Palsberg, 1997 .
Jens Palsberg, Christian Grothoff, Vijay Saraswat, 2006 .
Jens Palsberg, Somesh Jha, Tian Zhao, 2002, FoSSaCS.
Jens Palsberg, Matthew L. Wallace, 2002 .
Klaus Wehrle, Jens Palsberg, Olaf Landsiedel, 2005, PIK Prax. Informationsverarbeitung Kommun..
Jens Palsberg, Fernando Magno Quintão Pereira, Jonathan K. Lee, 2007, Theor. Comput. Sci..
Jens Palsberg, Zhendong Su, J. Palsberg, 2000 .
Jens Palsberg, Andrew P. Black, 1994, SIGP.
Jens Palsberg, Cristina V. Lopes, J. Palsberg, 2018, ISSTA/ECOOP Workshops.
Jens Palsberg, Olivier Danvy, Karoline Malmkjær, 1994, LISP Symb. Comput..
Jens Palsberg, Tian Zhao, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Jens Palsberg, J. Palsberg, 2001, PASTE '01.
Jens Palsberg, V. Krishna Nandivada, J. Palsberg, 2006, CC.
Jens Palsberg, 1996, CSUR.
Jens Palsberg, Michael I. Schwartzbach, Ole Agesen, 1995, Softw. Pract. Exp..
Jens Palsberg, 1995 .
Jens Palsberg, Christina Pavlopoulou, 2001, J. Funct. Program..
Jens Palsberg, Mitchell Wand, 2003, J. Funct. Program..
Jens Palsberg, Dennis Brylow, 2004, IEEE Trans. Software Eng..
Jens Palsberg, Michael I. Schwartzbach, 1992, Inf. Process. Lett..
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Jens Palsberg, Christian Grothoff, Vijay A. Saraswat, 2008, OOPSLA.
Jens Palsberg, William R. Cook, J. Palsberg, 1989 .
Jens Palsberg, V. Krishna Nandivada, J. Palsberg, 2005, 11th IEEE Real Time and Embedded Technology and Applications Symposium.
Jens Palsberg, Christian Grothoff, Neal Glew, 2005, SAS.
Jens Palsberg, C. Barry Jay, J. Palsberg, 2011, ICFP.
Jens Palsberg, Mohsen Lesani, 2014, DISC.
Jens Palsberg, Michael Hind, 2011, PLDI 2012.
Jens Palsberg, Anders Bondorf, 1996, J. Funct. Program..
Jens Palsberg, Christina Pavlopoulou, 1998, POPL '98.
Jens Palsberg, Javier Esparza, Allan Cheng, 1993, FSTTCS.
Jens Palsberg, Fernando Magno Quintão Pereira, Fernando Magno Quintão Pereira, 2009, CC.
Jens Palsberg, Yan Cai, Ruijie Meng, 2020, 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Jens Palsberg, Mohsen Lesani, John Bender, 2015, OOPSLA.
Jens Palsberg, Michael I. Schwartzbach, M. I. Schwartzbach, 1991, OOPSLA '91.
Boaz Patt-Shamir, Jens Palsberg, Karl J. Lieberherr, 1996, ESOP.
Jens Palsberg, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Jens Palsberg, Dexter Kozen, Michael I. Schwartzbach, 1992, POPL '93.
Jens Palsberg, Javier Esparza, Allan Cheng, 1993, Theor. Comput. Sci..
Jens Palsberg, Bradley J. Lucier, Sudhakar Mamillapalli, 1998 .
Jens Palsberg, Mahdi Eslamimehr, 2014, PPoPP '14.
Jens Palsberg, Mayur Naik, 2004, TECS.
Jens Palsberg, Dennis Brylow, J. Palsberg, 2003, IEEE Transactions on Software Engineering.
Jens Palsberg, Olivier Danvy, Karoline Malmkjær, 1996 .
Jens Palsberg, Jan Vitek, Christian Grothoff, 2001, OOPSLA 2001.
Jens Palsberg, V. Krishna Nandivada, 2003, CASES '03.
Jens Palsberg, Fernando Magno Quintão Pereira, Jonathan K. Lee, 2007, ICALP.
Jens Palsberg, 1995, TAPSOFT.
Jens Palsberg, Michael I. Schwartzbach, M. I. Schwartzbach, 1990, ECOOP.
Jens Palsberg, Ben L. Titzer, Keith Mayoral, 2005 .
Jens Palsberg, Fernando Magno Quintão Pereira, Fernando Magno Quintão Pereira, 2005, APLAS.
Jens Palsberg, Olivier Danvy, Karoline Malmkjær, 1995 .
Jens Palsberg, Neal Glew, 2004, Sci. Comput. Program..
Jens Palsberg, William R. Cook, 1994, Inf. Comput..
Jens Palsberg, Holger Hermanns, 2007, International Journal on Software Tools for Technology Transfer.
Andrew W. Appel, Jens Palsberg, J. Palsberg, 1997 .
Jens Palsberg, William R. Cook, J. Palsberg, 1989, OOPSLA.
Jens Palsberg, Christian Grothoff, J. Palsberg, 2006 .
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Jens Palsberg, Dexter Kozen, Michael I. Schwartzbach, 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
Jens Palsberg, Riyaz Haque, 2015, ECOOP.
Jens Palsberg, Chen Liu, Mario Gerla, 2013, MILCOM 2013 - 2013 IEEE Military Communications Conference.
Jens Palsberg, Chris Hankin, Hanne Riis Nielson, 1997, SIGP.
Jens Palsberg, Tian Zhao, 2001, Inf. Comput..
Jens Palsberg, Shu-yu Guo, 2011, POPL '11.
Jens Palsberg, Peter Ørbæk, 1997, J. Funct. Program..
Jens Palsberg, Ben L. Titzer, 2005, LCTES '05.
Jens Palsberg, Michael I. Schwartzbach, J. Palsberg, 1991, Sci. Comput. Program..
Jens Palsberg, Mahdi Eslamimehr, Oren Freiberg, 2016, 2016 12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA).
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Jens Palsberg, Antony L. Hosking, Thomas VanDrunen, 2000 .
Jens Palsberg, 1997, Theory Pract. Object Syst..
Jens Palsberg, Michael I. Schwartzbach, 1991 .
Jens Palsberg, Patrick O'Keefe, J. Palsberg, 1995, TOPL.
Jens Palsberg, Ryan Kastner, Andre DeHon, 2005, DAC 2005.
Jens Palsberg, Rupak Majumdar, Hong Hong, 2012, SAS.
Jens Palsberg, Mayur Naik, 2008, TOPL.
Jens Palsberg, Krishnendu Chatterjee, Thomas A. Henzinger, 2004, Inf. Comput..
Jens Palsberg, Deborah Estrin, Nithya Ramanathan, 2005, SenSys '05.
Jens Palsberg, Mahdi Eslamimehr, J. Palsberg, 2014, SIGSOFT FSE.
Jens Palsberg, Andrew P. Black, J. Palsberg, 1994 .
Jens Palsberg, Frank Tip, 2000, OOPSLA '00.
Jens Palsberg, Isil Dillig, J. Palsberg, 2018, Lecture Notes in Computer Science.
Jens Palsberg, Ben L. Titzer, Daniel K. Lee, 2005, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..
Jens Palsberg, J. Palsberg, 1998, Partial Evaluation.
Jens Palsberg, Alexander Aiken, Edward L. Wimmers, 1999, High. Order Symb. Comput..
Jens Palsberg, Todd D. Millstein, Mohsen Lesani, 2014, CAV.
Jens Palsberg, Matt Brown, 2017, POPL.
Jens Palsberg, 2009, Semantics and Algebraic Specification.
Jens Palsberg, Deborah Estrin, Nithya Ramanathan, 2005 .
Jens Palsberg, Michael I. Schwartzbach, 1995, Theory Pract. Object Syst..
Jens Palsberg, Michael I. Schwartzbach, M. I. Schwartzbach, 1990, OOPSLA/ECOOP '90.
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, Jan Vitek, Tian Zhao, 2003, OOPSLA 2003.
Jens Palsberg, Michael I. Schwartzbach, M. I. Schwartzbach, 1992, ECOOP.
Jens Palsberg, Olivier Danvy, Karoline Malmkjær, 1995, TOPL.
Jens Palsberg, Michael I. Schwartzbach, J. Palsberg, 1992, OOPSLA '92.
Jens Palsberg, Christian Gram Kalhauge, J. Palsberg, 2019, ESEC/SIGSOFT FSE.
Jens Palsberg, Trevor Jim, 1997, Nord. J. Comput..
Jens Palsberg, 2012, TOPL.
Jens Palsberg, Linda M. Seiter, Karl Lieberherr, 1996, SIGSOFT '96.
Jens Palsberg, Michael I. Schwartzbach, 1990 .
Jens Palsberg, Mitchell Wand, Patrick O'Keefe, 2005, Formal Aspects of Computing.
Jens Palsberg, Mohsen Lesani, 2013, DISC.
Jens Palsberg, Scott J. Baxter, J. Palsberg, 2002, CACM.
Jens Palsberg, Deborah Estrin, Todd Millstein, 2006 .
Jens Palsberg, Krishnendu Chatterjee, Thomas A. Henzinger, 2003, SAS.
Jens Palsberg, Michael I. Schwartzbach, Nicholas Oxhøj, 1992 .
Jens Palsberg, Todd D. Millstein, J. Palsberg, 2007, The Compiler Design Handbook, 2nd ed..
Jens Palsberg, Dexter Kozen, Michael I. Schwartzbach, 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
Jens Palsberg, Stephen Kou, Jeffrey Brooks, 2012 .
Jens Palsberg, Alexander Aiken, Edward L. Wimmers, 1997, TACS.
Jens Palsberg, Dexter Kozen, Michael I. Schwartzbach, 1992, POPL '93.
Jens Palsberg, Jan Vitek, Tian Zhao, 2003, OOPSLA '03.
Jens Palsberg, Mohsen Lesani, 2011, PPoPP '11.
Jens Palsberg, Mahdi Eslamimehr, J. Palsberg, 2013, 2013 IEEE 37th Annual Computer Software and Applications Conference.
Andrew W. Appel, Jens Palsberg, J. Palsberg, 2002 .
Andrew W. Appel, Jens Palsberg, J. Palsberg, 1997 .
Jens Palsberg, Jonathan K. Lee, J. Palsberg, 2010, PPoPP '10.
Jens Palsberg, Nengkun Yu, J. Palsberg, 2021, Artifact Digital Object Group.
Jens Palsberg, Christian Gram Kalhauge, 2021, PLDI.
Jens Palsberg, Yan Cai, Lei Qiao, 2021, ESEC/SIGSOFT FSE.
Jens Palsberg, Nengkun Yu, J. Palsberg, 2021, PLDI.
Jens Palsberg, Michael I. Schwartzbach, 1992 .
Jens Palsberg, Jan Vitek, Christian Grotho, 2001 .
Jens Palsberg, Michael I. Schwartzbach, M. I. Schwartzbach, 1992 .
Jens Palsberg, 2003 .
Jens Palsberg, Mitchell Wand, Patrick O'Keefe, 1995 .
Jens Palsberg, Christian Grothoff, Vijay Saraswat, 2006 .
Jens Palsberg, Dexter Kozen, Michael I. Schwartzbach, 1995 .
Jens Palsberg, Cun Xiao, Karl, 1994 .
Jens Palsberg, Michael I. Schwartzbach, 1990 .
Jens Palsberg, Vivek Sarkar, Ryan Newton, 2010 .
Jens Palsberg, Michael I. Schwartzbach, 1991 .
Jens Palsberg, Michael I. Schwartzbach, 1992 .
Jens Palsberg, Dexter Kozen, Michael I. Schwartzbach, 1992 .
Jens Palsberg, Michael I. Schwartzbach, 1990 .
Jens Palsberg, Michael I. Schwartzbach, 1990 .