Generic Programming for Indexed Datatypes

Generic Programming for Indexed Datatypes

他のバージョン（1件）を表示する

書誌詳細
主要な著者:	aes, J, Jeuring, J
フォーマット:	Report
出版事項:	Department of Information and Computing Sciences‚ Utrecht University 2011

類似資料

Generic programming for indexed datatypes
著者:: aes, J, 等
出版事項: (2011)

A Lightweight Approach to Datatype−generic Rewriting
著者:: van Noort, T, 等
出版事項: (2010)

A lightweight approach to datatype−generic rewriting
著者:: van Noort, T, 等
出版事項: (2010)

A Formal Comparison of Approaches to Datatype−Generic Programming
著者:: aes, J, 等
出版事項: (2012)

Datatype-generic programming
著者:: Gibbons, J
出版事項: (2007)

Datatype−Generic Programming
著者:: Gibbons, J
出版事項: (2007)

Datatype−Generic Programming
出版事項: (2007)

Patterns in Datatype−Generic Programming
著者:: Gibbons, J
出版事項: (2003)

Parametric Datatype−Genericity
著者:: Gibbons, J, 等
出版事項: (2009)

Parametric Datatype-Genericity
著者:: Gibbons, J, 等
出版事項: (2009)

Spring School on Datatype−Generic Programming
出版事項: (2007)

Generic Programming for Domain Reasoners
著者:: Jeuring, J, 等
出版事項: (2009)

Generic Programming for Domain Reasoners
著者:: Jeuring, J, 等
出版事項: (2010)

Design patterns as higher-order datatype-generic programs
著者:: Gibbons, J
出版事項: (2006)

Design Patterns as Higher−Order Datatype−Generic Programs
著者:: Gibbons, J
出版事項: (2010)

Design Patterns as Higher−Order Datatype−Generic Programs
著者:: Gibbons, J
出版事項: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
著者:: Gibbons, J
出版事項: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
著者:: Gibbons, J
出版事項: (2006)

Libraries for Generic Programming in Haskell
著者:: Jeuring, J, 等
出版事項: (2008)

Libraries for Generic Programming in Haskell
著者:: Jeuring, J, 等
出版事項: (2009)

A Formal Comparison of Approaches to Datatype-Generic Programming
著者:: José Pedro Magalhães, 等
出版事項: (2012-02-01)

Comparing Datatype Generic Libraries in Haskell
著者:: Kiselyov, B
出版事項: (2009)

Generic programming with indexed functors
著者:: Löh, A, 等
出版事項: (2011)

Optimizing Generics Is Easy!
著者:: aes, J, 等
出版事項: (2009)

Generic selections of subexpressions
著者:: van Steenbergen, M, 等
出版事項: (2010)

Optimizing Generics Is Easy!
著者:: aes, J, 等
出版事項: (2010)

Generic Generic Programming
著者:: aes, J, 等
出版事項: (2014)

A generic deriving mechanism for Haskell
著者:: aes, J, 等
出版事項: (2010)

A generic deriving mechanism for Haskell
著者:: aes, J, 等
出版事項: (2010)

Generic Programming with Multiple Parameters
著者:: aes, J
出版事項: (2014)

The right kind of generic programming
著者:: aes, J
出版事項: (2012)

Optimisation of Generic Programs through Inlining
著者:: aes, J
出版事項: (2013)

Optimisation of Generic Programs Through Inlining
著者:: aes, J
出版事項: (2013)

Unfolding Abstract Datatypes
著者:: Gibbons, J
出版事項: (2008)

Unfolding abstract datatypes
著者:: Gibbons, J
出版事項: (2008)

Nested Datatypes
著者:: Bird, R, 等
出版事項: (1998)

Manufacturing Datatypes
著者:: Hinze, R
出版事項: (1999)

Manufacturing Datatypes
著者:: Hinze, R
出版事項: (1999)

Manufacturing datatypes
著者:: Hinze, R
出版事項: (2001)

On the semantics of nested datatypes
著者:: Martin, C, 等
出版事項: (2001)