Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jens Palsberg

Race Directed Scheduling of Concurrent Programs

ACM SIGPLAN Notices
Computer Science
2014English

Jones-Optimal Partial Evaluation by Specialization-Safe Normalization

Proceedings of the ACM on Programming Languages
2018English

Communicating Memory Transactions

2011English

Strategic Directions in Research on Programming Languages

ACM Computing Surveys
Computer ScienceTheoretical Computer Science
1996English

SARA: Combining Stack Allocation and Register Allocation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Comparing Flow-Based Binding-Time Analyses

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

A New Approach to Compiling Adaptive Programs

Science of Computer Programming
Software
1997English

Provably Correct Compiler Generation

DAIMI Report Series
1992English

Polyvariant Analysis of the Untyped Lambda Calculus

DAIMI Report Series
1992English

Efficient Inference of Partial Types

DAIMI Report Series
1992English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy