mini-ML

MaRDI QIDQ34505swMATHFDO

Official website https://hal.inria.fr/inria-00076025/file/RR-0529.pdf

Cited in

(18)

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

This page was built for software: mini-ML