Generic and Indexed Programming

The EPSRC-funded Generic and Indexed Programming project will explore the interaction between datatype-generic programming (DGP) — programs parametrized by the shape of their data — and indexed programming (IP) — lightweight dependently-...

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Gibbons, J, Wang, M, Oliveira, B
Формат:	Conference item
Хэвлэсэн:	2007

Ижил төстэй зүйлс

Scala for generic programmers Comparing Haskell and Scala support for generic programming
-н: Oliveira, B, зэрэг
Хэвлэсэн: (2010)

Datatype-generic programming
-н: Gibbons, J
Хэвлэсэн: (2007)

Datatype−Generic Programming
-н: Gibbons, J
Хэвлэсэн: (2007)

Patterns in Datatype−Generic Programming
-н: Gibbons, J
Хэвлэсэн: (2003)

Generic and Indexed Programming
Хэвлэсэн: (2012)

Generic Programming for Indexed Datatypes
-н: aes, J, зэрэг
Хэвлэсэн: (2011)

Generic programming for indexed datatypes
-н: aes, J, зэрэг
Хэвлэсэн: (2011)

Generic programming with indexed functors
-н: Löh, A, зэрэг
Хэвлэсэн: (2011)

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
Хэвлэсэн: (2006)

Scala for Generic Programmers
-н: Oliveira, B, зэрэг
Хэвлэсэн: (2010)

Scala for Generic Programmers
-н: Oliveira, B, зэрэг
Хэвлэсэн: (2008)

Generic Generic Programming
-н: aes, J, зэрэг
Хэвлэсэн: (2014)

Scala for Generic Programmers
-н: dos Santos Oliveira, B, зэрэг
Хэвлэсэн: (2008)

Generic Downwards Accumulations
-н: Gibbons, J
Хэвлэсэн: (2000)

Generic downwards accumulations
-н: Gibbons, J
Хэвлэсэн: (2000)

The VISITOR Pattern as a Reusable, Generic, Type-Safe Component
-н: Oliveira, B, зэрэг
Хэвлэсэн: (2008)

Parametric Datatype−Genericity
-н: Gibbons, J, зэрэг
Хэвлэсэн: (2009)

The generic approximation lemma
-н: Hutton, G, зэрэг
Хэвлэсэн: (2001)

The Generic Approximation Lemma
-н: Hutton, G, зэрэг
Хэвлэсэн: (2001)

The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component
-н: dos Santos Oliveira, B, зэрэг
Хэвлэсэн: (2008)

Parametric Datatype-Genericity
-н: Gibbons, J, зэрэг
Хэвлэсэн: (2009)

Generic Programming
Хэвлэсэн: (2003)

Generic Programming for Domain Reasoners
-н: Jeuring, J, зэрэг
Хэвлэсэн: (2009)

Generic Programming for Domain Reasoners
-н: Jeuring, J, зэрэг
Хэвлэсэн: (2010)

Generic Programming‚ Now!
-н: Hinze, R, зэрэг
Хэвлэсэн: (2007)

Datatype−Generic Programming
Хэвлэсэн: (2007)

Generic Programs and Proofs
-н: Hinze, R
Хэвлэсэн: (2000)

Generic Programming with Adjunctions
-н: Hinze, R
Хэвлэсэн: (2012)

Generic Programming in OCaml
-н: Florent Balestrieri, зэрэг
Хэвлэсэн: (2018-12-01)

Libraries for Generic Programming in Haskell
-н: Jeuring, J, зэрэг
Хэвлэсэн: (2008)

Libraries for Generic Programming in Haskell
-н: Jeuring, J, зэрэг
Хэвлэсэн: (2009)

Generic Programming with Multiple Parameters
-н: aes, J
Хэвлэсэн: (2014)

The right kind of generic programming
-н: aes, J
Хэвлэсэн: (2012)

Modular Generic Programming with Extensible Superclasses
-н: Sulzmann, M, зэрэг
Хэвлэсэн: (2015)

Comparing Libraries for Generic Programming in Haskell
-н: Kiselyov, B
Хэвлэсэн: (2008)