Generic Programming for Indexed Datatypes

Generic Programming for Indexed Datatypes

Diğer sürümleri göster (1)

Detaylı Bibliyografya
Asıl Yazarlar:	aes, J, Jeuring, J
Materyal Türü:	Report
Baskı/Yayın Bilgisi:	Department of Information and Computing Sciences‚ Utrecht University 2011

Benzer Materyaller

Generic programming for indexed datatypes
Yazar:: aes, J, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

A Lightweight Approach to Datatype−generic Rewriting
Yazar:: van Noort, T, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

A lightweight approach to datatype−generic rewriting
Yazar:: van Noort, T, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

A Formal Comparison of Approaches to Datatype−Generic Programming
Yazar:: aes, J, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Datatype-generic programming
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2007)

Datatype−Generic Programming
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2007)

Datatype−Generic Programming
Baskı/Yayın Bilgisi: (2007)

Patterns in Datatype−Generic Programming
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2003)

Parametric Datatype−Genericity
Yazar:: Gibbons, J, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Parametric Datatype-Genericity
Yazar:: Gibbons, J, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Spring School on Datatype−Generic Programming
Baskı/Yayın Bilgisi: (2007)

Generic Programming for Domain Reasoners
Yazar:: Jeuring, J, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Generic Programming for Domain Reasoners
Yazar:: Jeuring, J, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Design patterns as higher-order datatype-generic programs
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2006)

Design Patterns as Higher−Order Datatype−Generic Programs
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2010)

Design Patterns as Higher−Order Datatype−Generic Programs
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2005)

Design Patterns as Higher−Order Datatype−Generic Programs
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2006)

Libraries for Generic Programming in Haskell
Yazar:: Jeuring, J, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Libraries for Generic Programming in Haskell
Yazar:: Jeuring, J, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

A Formal Comparison of Approaches to Datatype-Generic Programming
Yazar:: José Pedro Magalhães, ve diğerleri
Baskı/Yayın Bilgisi: (2012-02-01)

Comparing Datatype Generic Libraries in Haskell
Yazar:: Kiselyov, B
Baskı/Yayın Bilgisi: (2009)

Generic programming with indexed functors
Yazar:: Löh, A, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Optimizing Generics Is Easy!
Yazar:: aes, J, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Generic selections of subexpressions
Yazar:: van Steenbergen, M, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Optimizing Generics Is Easy!
Yazar:: aes, J, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Generic Generic Programming
Yazar:: aes, J, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

A generic deriving mechanism for Haskell
Yazar:: aes, J, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

A generic deriving mechanism for Haskell
Yazar:: aes, J, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Generic Programming with Multiple Parameters
Yazar:: aes, J
Baskı/Yayın Bilgisi: (2014)

The right kind of generic programming
Yazar:: aes, J
Baskı/Yayın Bilgisi: (2012)

Optimisation of Generic Programs through Inlining
Yazar:: aes, J
Baskı/Yayın Bilgisi: (2013)

Optimisation of Generic Programs Through Inlining
Yazar:: aes, J
Baskı/Yayın Bilgisi: (2013)

Unfolding Abstract Datatypes
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2008)

Unfolding abstract datatypes
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2008)

Nested Datatypes
Yazar:: Bird, R, ve diğerleri
Baskı/Yayın Bilgisi: (1998)

Manufacturing Datatypes
Yazar:: Hinze, R
Baskı/Yayın Bilgisi: (1999)

Manufacturing Datatypes
Yazar:: Hinze, R
Baskı/Yayın Bilgisi: (1999)

Manufacturing datatypes
Yazar:: Hinze, R
Baskı/Yayın Bilgisi: (2001)

On the semantics of nested datatypes
Yazar:: Martin, C, ve diğerleri
Baskı/Yayın Bilgisi: (2001)