Generic unification via two-level types and parameterized modules

DOI10.1145/507635.507648zbMATH Open1323.68158OpenAlexW2141759034MaRDI QIDQ5178000

T. Sheard

Publication date: 9 March 2015

Published in: (Search for Journal in Brave)

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

zbMATH Keywords

unificationgeneric programsparameterized modules

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

A lightweight approach to datatype-generic rewriting

This page was built for publication: Generic unification via two-level types and parameterized modules

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