QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers
No abstract available.
DOI 10.1007/978-3-319-08867-9_57
Related papers
- Galois transformers and modular abstract interpreters: reusable metatheory for program analysis OOPSLA 2015
- Retrieving Reusable Software Components by Polymorphic Type JFP 1991
- iCoLa: A Compositional Meta-language with Support for Incremental Language Development SLE 2022
- Structural Subtyping as Parametric Polymorphism OOPSLA 2023
- babble: Learning Better Abstractions with E-Graphs and Anti-unification POPL 2023
- Packrats parse in packs Haskell 2017
- Hoopl: a modular, reusable library for dataflow analysis and transformation Haskell 2010
- A unified treatment of syntax with binders JFP 2012