Generic Programming for Domain Reasoners

Generic Programming for Domain Reasoners

Показати інші версії (1)

Бібліографічні деталі
Автори:	Jeuring, J, aes, J, Heeren, B
Формат:	Conference item
Опубліковано:	Intellect 2010

Схожі ресурси

Generic Programming for Domain Reasoners
за авторством: Jeuring, J, та інші
Опубліковано: (2009)

Generic Programming for Indexed Datatypes
за авторством: aes, J, та інші
Опубліковано: (2011)

Generic programming for indexed datatypes
за авторством: aes, J, та інші
Опубліковано: (2011)

Libraries for Generic Programming in Haskell
за авторством: Jeuring, J, та інші
Опубліковано: (2008)

Libraries for Generic Programming in Haskell
за авторством: Jeuring, J, та інші
Опубліковано: (2009)

A Lightweight Approach to Datatype−generic Rewriting
за авторством: van Noort, T, та інші
Опубліковано: (2010)

A lightweight approach to datatype−generic rewriting
за авторством: van Noort, T, та інші
Опубліковано: (2010)

Generic selections of subexpressions
за авторством: van Steenbergen, M, та інші
Опубліковано: (2010)

Optimizing Generics Is Easy!
за авторством: aes, J, та інші
Опубліковано: (2010)

Optimizing Generics Is Easy!
за авторством: aes, J, та інші
Опубліковано: (2009)

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)

Generic programming with indexed functors
за авторством: Löh, A, та інші
Опубліковано: (2011)

Comparing Approaches to Generic Programming in Haskell
за авторством: Hinze, R, та інші
Опубліковано: (2007)

Less Is More: Generic Programming Theory and Practice
за авторством: Magalh aes, J
Опубліковано: (2012)

A Formal Comparison of Approaches to Datatype−Generic Programming
за авторством: aes, J, та інші
Опубліковано: (2012)

Generic Haskell: Applications
за авторством: Hinze, R, та інші
Опубліковано: (2003)

Generic Haskell: Applications
за авторством: Hinze, R, та інші
Опубліковано: (2003)

Generic Haskell: Practice and Theory
за авторством: Hinze, R, та інші
Опубліковано: (2003)

Generic Haskell: Practice and Theory
за авторством: Hinze, R, та інші
Опубліковано: (2003)

Generic Representations of Tree Transformations
за авторством: Bransen, J, та інші
Опубліковано: (2013)

The Generic Haskell user's guide
за авторством: Clarke, D, та інші
Опубліковано: (2001)

ECONOMIC REASONS FOR GENERIC CHOICE
за авторством: N. P. Kutishenko, та інші
Опубліковано: (2016-01-01)

Generic and Indexed Programming
за авторством: Gibbons, J, та інші
Опубліковано: (2007)

Datatype-generic programming
за авторством: Gibbons, J
Опубліковано: (2007)

Datatype−Generic Programming
за авторством: Gibbons, J
Опубліковано: (2007)

Scala for generic programmers Comparing Haskell and Scala support for generic programming
за авторством: Oliveira, B, та інші
Опубліковано: (2010)

Generic Programming
Опубліковано: (2003)

Properties of Exercise Strategies
за авторством: Alex Gerdes, та інші
Опубліковано: (2010-12-01)

Patterns in Datatype−Generic Programming
за авторством: Gibbons, J
Опубліковано: (2003)

Generic Programming‚ Now!
за авторством: Hinze, R, та інші
Опубліковано: (2007)

Datatype−Generic Programming
Опубліковано: (2007)

Generic and Indexed Programming
Опубліковано: (2012)

Generic Programs and Proofs
за авторством: Hinze, R
Опубліковано: (2000)

Generic Programming with Adjunctions
за авторством: Hinze, R
Опубліковано: (2012)