3 ms·

It seems to have some PL heavyweights working on it: Philip Wadler (Haskell, Java Generics), Shriram Krishnamurthi (Schemer, author of Programming Languages App

by kanak 16y ago

It seems to have some PL heavyweights working on it: Philip Wadler (Haskell, Java Generics), Shriram Krishnamurthi (Schemer, author of Programming Languages Application and Interpretation).