Needle & Knot: Binder Boilerplate Tied Up
No abstract available.
Related papers
- Scrap your boilerplate with class: extensible generic functions ICFP 2005
- Binders unbound ICFP 2011
- Finding the needle: stack traces for GHC Haskell 2009
- A Distributed Graph Algorithm: Knot Detection TOPLAS 1982
- Towards Threading the Needle of Debuggable Optimized Binaries CGO 2026
- Commutative monads, diagrams and knots ICFP 2009
- An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification POPL 2024
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs JFP 2021