Recursive modules for programming

DOI10.1145/1159803.1159813zbMath1321.68156OpenAlexW2166715995MaRDI QIDQ5501459

Jacques Garrigue, Keiko Nakata

Publication date: 3 August 2015

Published in: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1159803.1159813

zbMATH Keywords

type systemstype inferencerecursive modulesapplicative functorsexpression problem

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Path resolution for nested recursive modules

This page was built for publication: Recursive modules for programming