Hacker News new | ask | show | jobs
The Essence of Dependent Object Types (infoscience.epfl.ch)
2 points by uros643 3795 days ago