Y
Hacker News
new
|
ask
|
show
|
jobs
by
catgary
1889 days ago
Do they actually have people who are experienced with type theory working on the type system, or is it the same core team?
1 comments
lfnoise
1888 days ago
Philip Wadler ?
https://arxiv.org/abs/2005.11710
link