A framework for polytypic programming on terms, with an application to rewriting

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings Workshop on Generic Programming (WGP2000)
Editors	J. Jeuring
Place of Publication	Ponte de Lima, Portugal
Publication status	Published - 2000

Technical Report UU-CS-2000-1

Cite this

@inproceedings{cdbd0730ac3e416e8f5358a3e5a1f76c,

title = "A framework for polytypic programming on terms, with an application to rewriting",

author = "P. Jansson and J.T. Jeuring",

note = "Technical Report UU-CS-2000-1",

year = "2000",

language = "Undefined/Unknown",

editor = "J. Jeuring",

booktitle = "Proceedings Workshop on Generic Programming (WGP2000)",

}