swMATH22714MaRDI QIDQ34505FDOQ34505
Author name not available (Why is that?)
Official website: https://hal.inria.fr/inria-00076025/file/RR-0529.pdf
Cited In (18)
- Modular monadic meta-theory
- Type inference verified: Algorithm \(\mathcal W\) in Isabelle/H0L
- Visible type application
- Title not available (Why is that?)
- The calculus of context relations
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
- Meta-theory à la carte
- A linear logical framework
- Title not available (Why is that?)
- PolyML
- Skalpel
- 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 \(\lambda\)-calculus
- Type inference with partial types
- Skalpel: a constraint-based type error slicer for standard ML
- Type inference for record concatenation and multiple inheritance
- Title not available (Why is that?)
This page was built for software: mini-ML
