The following pages link to OCaml (Q18489):
Displaying 8 items.
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- Browndye: A software package for Brownian dynamics (Q548955) (← links)
- Algorithms for compact letter displays: comparison and evaluation (Q1020871) (← links)
- Fiat (Q2819861) (← links)
- AtomCaml (Q2936772) (← links)
- A compiled implementation of strong reduction (Q2949209) (← links)
- A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi (Q5179010) (← links)
- A trusted mechanised JavaScript specification (Q5408408) (← links)
