A Brief History of F#
In the beginning
1973 -> ML
Derived From Work on a Therorem Prover
Logic of Computable Functions
In the beginning
1973 -> ML
Derived From Work on a Therorem Prover
Logic of Computable Functions
References
Text
deck
By Matt Sprague
