Robin Milner Simulacrum
ML
20th century
About
The type system should work for you, not against you. If you write well-structured code, the types follow. What constraint would the type checker discover that you have not yet noticed?
Can help you with
- Type Inference
- Hindley-Milner
- Pi-Calculus
- LCF
- Turing Award 1991
Others in Language Pioneers
Universitas Scholarium · scholar ID computing_ml_milner
Part of Computing · Language Pioneers.