Modular Substructural Constraints for Embedded DSLs
Open Access
- 23 June 2026
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 60-71
Abstract
No abstract availableFunding Information
- Swiss National Science Foundation (SNSF) (TMAG-2_209506/1)
- Swiss State Secretariat for Education, Research and Innovation (SERI) (Prodasys)
- European Research Council (ERC) (Prodasys)
This publication has 22 references indexed in Scilit:
- Reachability Analysis for AWS-Based Networks2019
- The rust languageACM SIGAda Ada Letters, 2014
- Idris2013
- Practical affine types2011
- Using Datalog for Fast and Easy Program Analysis2011
- Linear Regions Are All You Need2006
- Phantom types and subtypingJournal of Functional Programming, 2006
- Uniqueness typing for functional languages with graph rewriting semanticsMathematical Structures in Computer Science, 1996
- A mixed linear and non-linear logic: Proofs, terms and models1995
- Linear logicTheoretical Computer Science, 1987