Jens Palsberg

Available identifiers

zbMath Open palsberg.jensMaRDI QIDQ672458

List of research outcomes

Publication	Date of Publication	Type
Comparing flow-based binding-time analyses	2022-08-18	Paper
Typed self-interpretation by pattern matching	2015-03-05	Paper
The essence of compiling with traces	2014-04-10	Paper
Overloading Is NP-Complete	2012-07-16	Paper
A Typed Interrupt Calculus	2011-04-08	Paper
Tribute to Peter Mosses	2009-10-22	Paper
A Framework for End-to-End Verification and Evaluation of Register Allocators	2009-03-03	Paper
Aliased register allocation for straight-line programs is NP-complete	2008-11-18	Paper
Aliased Register Allocation for Straight-Line Programs Is NP-Complete	2007-11-28	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
Programming Languages and Systems	2006-10-20	Paper
Type-based confinement	2006-01-13	Paper
Programming Languages and Systems	2005-09-13	Paper
Stack size analysis for interrupt-driven programs	2005-01-11	Paper
Type inference for record concatenation and subtyping	2004-11-23	Paper
Type-safe method inlining	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4813395	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q3046759	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4738226	2004-08-11	Paper
CPS transformation of flow information	2004-03-29	Paper
Efficient and flexible matching of recursive types	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4365943	2002-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q4230360	2002-01-20	Paper
From Polyvariant flow information to intersection and union types	2001-07-23	Paper
Safety analysis versus type inference	2000-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4954456	2000-06-07	Paper
Optimal representations of polymorphic types with subtyping	2000-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4268457	1999-10-31	Paper
Trust in the λ-calculus	1999-03-16	Paper
https://portal.mardi4nfdi.de/entity/Q4364383	1997-11-17	Paper
Type inference with non-structural subtyping	1997-08-03	Paper
Complexity results for 1-safe nets	1997-02-28	Paper
A new approach to compiling adaptive programs	1997-01-01	Paper
Generating action compilers by partial evaluation	1996-10-14	Paper
Erratum to ``Efficient inference of object types	1996-07-03	Paper
Strong normalization with non-structural subtyping	1996-07-01	Paper
Efficient inference of object types	1996-03-19	Paper
Static typing for object-oriented programming	1996-02-26	Paper
Efficient recursive subtyping	1995-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4319801	1995-01-12	Paper
Efficient inference of partial types	1994-11-06	Paper
Normal forms have partial types	1993-05-16	Paper
Safety analysis versus type inference for partial types	1993-01-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jens Palsberg