News for hackers. Stuff that matters.

A comment on Green vs. Brown Programming Languages. Parent comment

Re:Green vs. Brown Programming Languages by catgary on Thursday April 22, 2021 @11:55PM (#26910830)
Do they actually have people who are experienced with type theory working on the type system, or is it the same core team?
[ Parent | on HN ]
Re:Green vs. Brown Programming Languages by lfnoise on Friday April 23, 2021 @02:57AM (#26911803)
Philip Wadler ? https://arxiv.org/abs/2005.11710
[ Parent | on HN ]