Polytypic unification
From MaRDI portal
Publication:4236981
DOI10.1017/S095679689800313XzbMath0916.68015MaRDI QIDQ4236981
Publication date: 28 March 1999
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items (4)
A lightweight approach to datatype-generic rewriting ⋮ Datatype-generic termination proofs ⋮ Monadic constraint programming ⋮ Specification of Logic Programming Languages from Reusable Semantic Building Blocks
This page was built for publication: Polytypic unification