mini-ML
From MaRDI portal
Software:34505
swMATH22714MaRDI QIDQ34505FDOQ34505
Author name not available (Why is that?)
Cited In (16)
- Modular monadic meta-theory
- Type inference verified: Algorithm \(\mathcal W\) in Isabelle/H0L
- 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
- Visible Type Application
- A linear logical framework
- Title not available (Why is that?)
- 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
