The ExoVM system for automatic VM and application reduction
- Ben L. Titzer
- Joshua Auerbach
- et al.
- 2007
- PLDI 2007
Publications
Date
Featured collections
Popular topics
8 results for Jen Palsberg
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