A Lightweight Approach to Datatype−generic Rewriting

A Lightweight Approach to Datatype−generic Rewriting

Show other versions (1)

Bibliographic Details
Main Authors:	van Noort, T, Yakushev, A, Holdermans, S, Jeuring, J, Heeren, B, aes, J
Format:	Report
Published:	Department of Information and Computing Sciences‚ Utrecht University 2010

Similar Items

A lightweight approach to datatype−generic rewriting
by: van Noort, T, et al.
Published: (2010)

Generic Programming for Indexed Datatypes
by: aes, J, et al.
Published: (2011)

Generic programming for indexed datatypes
by: aes, J, et al.
Published: (2011)

A Formal Comparison of Approaches to Datatype−Generic Programming
by: aes, J, et al.
Published: (2012)

Optimizing Generics Is Easy!
by: aes, J, et al.
Published: (2010)

Optimizing Generics Is Easy!
by: aes, J, et al.
Published: (2009)

Generic Programming for Domain Reasoners
by: Jeuring, J, et al.
Published: (2010)

Generic Programming for Domain Reasoners
by: Jeuring, J, et al.
Published: (2009)

Libraries for Generic Programming in Haskell
by: Jeuring, J, et al.
Published: (2008)

Libraries for Generic Programming in Haskell
by: Jeuring, J, et al.
Published: (2009)

Datatype−Generic Programming
by: Gibbons, J
Published: (2007)

Datatype-generic programming
by: Gibbons, J
Published: (2007)

Parametric Datatype−Genericity
by: Gibbons, J, et al.
Published: (2009)

Parametric Datatype-Genericity
by: Gibbons, J, et al.
Published: (2009)

Datatype defining rewrite systems for naturals and integers
by: Jan A. Bergstra, et al.
Published: (2021-02-01)

Datatype−Generic Programming
Published: (2007)

Patterns in Datatype−Generic Programming
by: Gibbons, J
Published: (2003)

Comparing Datatype Generic Libraries in Haskell
by: Kiselyov, B
Published: (2009)

A Formal Comparison of Approaches to Datatype-Generic Programming
by: José Pedro Magalhães, et al.
Published: (2012-02-01)

Spring School on Datatype−Generic Programming
Published: (2007)

Generic selections of subexpressions
by: van Steenbergen, M, et al.
Published: (2010)

Design Patterns as Higher−Order Datatype−Generic Programs
by: Gibbons, J
Published: (2010)

Design Patterns as Higher−Order Datatype−Generic Programs
by: Gibbons, J
Published: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
by: Gibbons, J
Published: (2006)

Design Patterns as Higher−Order Datatype−Generic Programs
by: Gibbons, J
Published: (2005)

Design patterns as higher-order datatype-generic programs
by: Gibbons, J
Published: (2006)

A generic deriving mechanism for Haskell
by: aes, J, et al.
Published: (2010)

A generic deriving mechanism for Haskell
by: aes, J, et al.
Published: (2010)

Unfolding abstract datatypes
by: Gibbons, J
Published: (2008)

Unfolding Abstract Datatypes
by: Gibbons, J
Published: (2008)

Manufacturing Datatypes
by: Hinze, R
Published: (1999)

Nested Datatypes
by: Bird, R, et al.
Published: (1998)

Manufacturing datatypes
by: Hinze, R
Published: (2001)

Manufacturing Datatypes
by: Hinze, R
Published: (1999)

On the Semantics of Nested Datatypes
by: Martin, C, et al.
Published: (2001)

On the semantics of nested datatypes
by: Martin, C, et al.
Published: (2001)

Generic Generic Programming
by: aes, J, et al.
Published: (2014)

Comparing Approaches to Generic Programming in Haskell
by: Hinze, R, et al.
Published: (2007)

OWL Datatypes: Design and Implementation.
by: Motik, B, et al.
Published: (2008)

Generalised Folds for Nested Datatypes
by: Bird, R, et al.
Published: (1999)