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)

ECONOMIC REASONS FOR GENERIC CHOICE
по: N. P. Kutishenko, и др.
Опубликовано: (2016-01-01)

The Generic Haskell user's guide
по: Clarke, D, и др.
Опубликовано: (2001)

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)