The following pages link to mini-ML (Q34505):
Displaying 16 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Skalpel: a constraint-based type error slicer for standard ML (Q507365) (← links)
- Type inference for record concatenation and multiple inheritance (Q808687) (← links)
- A short proof of the lexical addressing algorithm (Q917326) (← links)
- The calculus of context relations (Q918720) (← links)
- On the expressive power of finitely typed and universally polymorphic recursive procedures (Q1185006) (← links)
- Type reconstruction in finite rank fragments of the second-order \(\lambda\)-calculus (Q1193590) (← links)
- Type inference with partial types (Q1318726) (← links)
- A linear logical framework (Q1400718) (← links)
- Type inference verified: Algorithm \(\mathcal W\) in Isabelle/H0L (Q1961917) (← links)
- Visible Type Application (Q2802481) (← links)
- Meta-theory à la carte (Q2931797) (← links)
- (Q3805933) (← links)
- (Q4246952) (← links)
- (Q4417871) (← links)
- Modular monadic meta-theory (Q5244814) (← links)
