Type-Safe Optimisation of Plugin Architectures
No abstract available.
Related papers
- MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age POPL 2025
- Plugging Haskell in Haskell 2004
- Safe optimisations for shared-memory concurrent programs PLDI 2011
- From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode CC 2009
- Lazy Linearity for a Core Functional Language POPL 2026
- Bringing Mixed-Stage Programming to OCaml (Keynote) GPCE 2026
- A Type Based Sharing Analysis for Update Avoidance and Optimisation ICFP 1998
- Visual haskell: a full-featured haskell development environment Haskell 2005