Type Safe Higher-order abstract syntax via GADT encoding
Posted: 9 years ago by Nick Palladinos
Just an example of a GADT in F#.
Posted: 2 years ago by Bryan Edds