Recursive modules for programming

DOI10.1145/1159803.1159813zbMATH Open1321.68156OpenAlexW2166715995MaRDI QIDQ5501459FDOQ5501459

Authors: Keiko Nakata, Jacques Garrigue 

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

Recommendations

• Recursive structures for standard ML
• Path resolution for nested recursive modules
• A type system for recursive modules
• Publication:4721631
• Mixin' up the ML module system

zbMATH Keywords

type systemstype inferencerecursive modulesapplicative functorsexpression problem

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (8)

• A type system for recursive modules
• Recursive structures for standard ML
• Title not available (Why is that?)
• Recursive type generativity
• Path resolution for nested recursive modules
• Recursive Programs for Document Spanners
• A type system for well-founded recursion
• Recursive type generativity

This page was built for publication: Recursive modules for programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5501459)