Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

8 results for Jen Palsberg

The ExoVM system for automatic VM and application reduction
- - Ben L. Titzer
  - Joshua Auerbach
  - et al.
- 2007
- PLDI 2007
Constrained types for object-oriented languages
- - Nathaniel Nystrom
  - Vijay Saraswat
  - et al.
- 2008
- OOPSLA 2008
Building a Quantum Engineering Undergraduate Program
- - Abraham Asfaw
  - Alexandre Blais
  - et al.
- 2022
- IEEE Transactions on Education
Achieving a quantum smart workforce
- - Clarice D Aiello
  - David D. Awschalom
  - et al.
- 2021
- Quantum Science and Technology
Constrained types for object-oriented languages
- - Nathaniel Nystrom
  - Vijay Saraswat
  - et al.
- 2008
- ACM SIGPLAN Notices
The ExoVM system for automatic vm and application reduction
- - Ben L. Titzer
  - Joshua Auerbach
  - et al.
- 2007
- ACM SIGPLAN Notices
Scalable propagation-based call graph construction algorithms
- - F. Tip
  - J. Palsberg
- 2000
- Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA
Optimal representations of polymorphic types with subtyping
- - Alexander Aiken
  - Edward L. Wimmers
  - et al.
- 1999
- Higher-Order and Symbolic Computation