Arc Forumnew | comments | leaders | submitlogin
Subtext: default values as types, static typing by partial evaluation (vimeo.com)
1 point by akkartik 3863 days ago | discuss