Cited in
(18)- Modular monadic meta-theory
- Type inference verified: Algorithm \(\mathcal W\) in Isabelle/H0L
- Visible type application
- scientific article; zbMATH DE number 1956525 (Why is no real title available?)
- The calculus of context relations
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
- Meta-theory à la carte
- PolyML
- Skalpel
- A linear logical framework
- scientific article; zbMATH DE number 1301739 (Why is no real title available?)
- On the expressive power of finitely typed and universally polymorphic recursive procedures
- A short proof of the lexical addressing algorithm
- Type reconstruction in finite rank fragments of the second-order -calculus
- Type inference with partial types
- Skalpel: a constraint-based type error slicer for standard ML
- Type inference for record concatenation and multiple inheritance
- scientific article; zbMATH DE number 4074517 (Why is no real title available?)
This page was built for software: mini-ML