A Lightweight Approach to Datatype-generic Rewriting

Research output: Book/Report › Report › Academic

Original language	Undefined/Unknown
Publisher	Department of Information and Computing Sciences, Utrecht University
Volume	UU-CS-2010-008
Publication status	Published - 2010

UUCS2010008

Cite this

@book{3e20bc69717a4b16bdb58dcad59aa873,

title = "A Lightweight Approach to Datatype-generic Rewriting",

author = "\{van Noort\}, T. and A.R. Yakushev and S. Holdermans and J.T. Jeuring and B.J. Heeren and \{Rodrigues Magalh{\~a}es\}, J.P.",

note = "UUCS2010008",

year = "2010",

language = "Undefined/Unknown",

volume = "UU-CS-2010-008",

publisher = "Department of Information and Computing Sciences, Utrecht University",

}

TY - BOOK

T1 - A Lightweight Approach to Datatype-generic Rewriting

AU - van Noort, T.

AU - Yakushev, A.R.

AU - Holdermans, S.

AU - Jeuring, J.T.

AU - Heeren, B.J.

AU - Rodrigues Magalhães, J.P.

N1 - UUCS2010008

PY - 2010

Y1 - 2010

M3 - Report

VL - UU-CS-2010-008

BT - A Lightweight Approach to Datatype-generic Rewriting

PB - Department of Information and Computing Sciences, Utrecht University

ER -