Type inference with rank 1 polymorphism for type-directed compilation of ML
From MaRDI portal
Publication:2817718
DOI10.1145/317636.317796zbMath1345.68067OpenAlexW2049313161MaRDI QIDQ2817718
Nobuaki Yoshida, Atsushi Ohori
Publication date: 1 September 2016
Published in: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/317636.317796
Related Items