Generic Programming for Domain Reasoners

Generic Programming for Domain Reasoners

Mostra altre versioni (1)

Dettagli Bibliografici
Autori principali:	Jeuring, J, aes, J, Heeren, B
Natura:	Conference item
Pubblicazione:	Intellect 2010

Documenti analoghi

Generic Programming for Domain Reasoners
di: Jeuring, J, et al.
Pubblicazione: (2009)

Generic Programming for Indexed Datatypes
di: aes, J, et al.
Pubblicazione: (2011)

Generic programming for indexed datatypes
di: aes, J, et al.
Pubblicazione: (2011)

Libraries for Generic Programming in Haskell
di: Jeuring, J, et al.
Pubblicazione: (2008)

Libraries for Generic Programming in Haskell
di: Jeuring, J, et al.
Pubblicazione: (2009)

A Lightweight Approach to Datatype−generic Rewriting
di: van Noort, T, et al.
Pubblicazione: (2010)

A lightweight approach to datatype−generic rewriting
di: van Noort, T, et al.
Pubblicazione: (2010)

Generic selections of subexpressions
di: van Steenbergen, M, et al.
Pubblicazione: (2010)

Optimizing Generics Is Easy!
di: aes, J, et al.
Pubblicazione: (2010)

Optimizing Generics Is Easy!
di: aes, J, et al.
Pubblicazione: (2009)

Generic Generic Programming
di: aes, J, et al.
Pubblicazione: (2014)

A generic deriving mechanism for Haskell
di: aes, J, et al.
Pubblicazione: (2010)

A generic deriving mechanism for Haskell
di: aes, J, et al.
Pubblicazione: (2010)

Generic Programming with Multiple Parameters
di: aes, J
Pubblicazione: (2014)

The right kind of generic programming
di: aes, J
Pubblicazione: (2012)

Optimisation of Generic Programs through Inlining
di: aes, J
Pubblicazione: (2013)

Optimisation of Generic Programs Through Inlining
di: aes, J
Pubblicazione: (2013)

Generic programming with indexed functors
di: Löh, A, et al.
Pubblicazione: (2011)

Comparing Approaches to Generic Programming in Haskell
di: Hinze, R, et al.
Pubblicazione: (2007)

Less Is More: Generic Programming Theory and Practice
di: Magalh aes, J
Pubblicazione: (2012)

A Formal Comparison of Approaches to Datatype−Generic Programming
di: aes, J, et al.
Pubblicazione: (2012)

Generic Haskell: Applications
di: Hinze, R, et al.
Pubblicazione: (2003)

Generic Haskell: Applications
di: Hinze, R, et al.
Pubblicazione: (2003)

Generic Haskell: Practice and Theory
di: Hinze, R, et al.
Pubblicazione: (2003)

Generic Haskell: Practice and Theory
di: Hinze, R, et al.
Pubblicazione: (2003)

Generic Representations of Tree Transformations
di: Bransen, J, et al.
Pubblicazione: (2013)

The Generic Haskell user's guide
di: Clarke, D, et al.
Pubblicazione: (2001)

ECONOMIC REASONS FOR GENERIC CHOICE
di: N. P. Kutishenko, et al.
Pubblicazione: (2016-01-01)

Generic and Indexed Programming
di: Gibbons, J, et al.
Pubblicazione: (2007)

Datatype-generic programming
di: Gibbons, J
Pubblicazione: (2007)

Datatype−Generic Programming
di: Gibbons, J
Pubblicazione: (2007)

Scala for generic programmers Comparing Haskell and Scala support for generic programming
di: Oliveira, B, et al.
Pubblicazione: (2010)

Generic Programming
Pubblicazione: (2003)

Properties of Exercise Strategies
di: Alex Gerdes, et al.
Pubblicazione: (2010-12-01)

Patterns in Datatype−Generic Programming
di: Gibbons, J
Pubblicazione: (2003)

Generic Programming‚ Now!
di: Hinze, R, et al.
Pubblicazione: (2007)

Datatype−Generic Programming
Pubblicazione: (2007)

Generic and Indexed Programming
Pubblicazione: (2012)

Generic Programs and Proofs
di: Hinze, R
Pubblicazione: (2000)

Generic Programming with Adjunctions
di: Hinze, R
Pubblicazione: (2012)