Meta-language Support for Type-Safe Access to External Resources
Abstract elided by the publisher.
Related papers
- An interoperable calculus for external object access ICFP 2002
- Probabilistic Resource-Aware Session Types POPL 2023
- Type-based safe resource deallocation for shared-memory concurrency OOPSLA 2012
- A meta-EDSL for distributed web applications Haskell 2017
- Typed syntactic meta-programming ICFP 2013
- Lightweight monadic regions Haskell 2008
- An Efficient Meta-Lock for Implementing Ubiquitous Synchronization OOPSLA 1999
- A Dependent Type Theory for Meta-programming with Intensional Analysis POPL 2025