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