HN Reader

New Top Best Ask Show Job

Programming in Martin-Lof's Type Theory: An Introduction (1990)

59

6

8 months agoby todsacerdoti

© 2024 wagao

Is Martin-Lof's type theory foundational for stuff people are using today? Or is it an interesting idea that never came to fruition?

8 months agoby wduquette