Numbering matters

DOI10.1145/1016850.1016872zbMath1323.68073OpenAlexW4254660223MaRDI QIDQ5178033

François Pottier, Nadji Gauthier

Publication date: 9 March 2015

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

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

zbMATH Keywords

polymorphismunificationequalityrecursive types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Logic in computer science (03B70)

Related Items (3)

A graph-based generic type system for object-oriented programs ⋮ A polynomial nominal unification algorithm ⋮ Implementing Nominal Unification

This page was built for publication: Numbering matters