Author: "New, Max S." / Publication Type: Conference Materials - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"New, Max S."' showing total 3 results

Start Over Author "New, Max S." Publication Type Conference Materials

3 results on '"New, Max S."'

1. Oh Lord, please don't let contracts be misunderstood (functional pearl)

Author: Dimoulas, Christos, primary, New, Max S., additional, Findler, Robert Bruce, additional, and Felleisen, Matthias, additional
Published: 2016
Full Text: View/download PDF

2. Fully abstract compilation via universal embedding

Author: New, Max S., primary, Bowman, William J., additional, and Ahmed, Amal, additional
Published: 2016
Full Text: View/download PDF

3. Is sound gradual typing dead?

Author: Takikawa, Asumu, primary, Feltey, Daniel, additional, Greenman, Ben, additional, New, Max S., additional, Vitek, Jan, additional, and Felleisen, Matthias, additional
Published: 2016
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results