Modular typechecking for hierarchically extensible datatypes and functions
From MaRDI portal
Publication:2949198
DOI10.1145/581478.581489zbMath1322.68044OpenAlexW2147044763MaRDI QIDQ2949198
Todd D. Millstein, Colin Bleckner, Craig Chambers
Publication date: 7 October 2015
Published in: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.3517
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18)
Related Items (1)
This page was built for publication: Modular typechecking for hierarchically extensible datatypes and functions
