Generic Programming for Domain Reasoners

Generic Programming for Domain Reasoners

Taispeáin leaganacha eile (1)

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Jeuring, J, aes, J, Heeren, B
Formáid:	Conference item
Foilsithe / Cruthaithe:	Intellect 2010

Míreanna comhchosúla

Generic Programming for Domain Reasoners
de réir: Jeuring, J, et al.
Foilsithe / Cruthaithe: (2009)

Generic Programming for Indexed Datatypes
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2011)

Generic programming for indexed datatypes
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2011)

Libraries for Generic Programming in Haskell
de réir: Jeuring, J, et al.
Foilsithe / Cruthaithe: (2008)

Libraries for Generic Programming in Haskell
de réir: Jeuring, J, et al.
Foilsithe / Cruthaithe: (2009)

A Lightweight Approach to Datatype−generic Rewriting
de réir: van Noort, T, et al.
Foilsithe / Cruthaithe: (2010)

A lightweight approach to datatype−generic rewriting
de réir: van Noort, T, et al.
Foilsithe / Cruthaithe: (2010)

Generic selections of subexpressions
de réir: van Steenbergen, M, et al.
Foilsithe / Cruthaithe: (2010)

Optimizing Generics Is Easy!
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2010)

Optimizing Generics Is Easy!
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2009)

Generic Generic Programming
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2014)

A generic deriving mechanism for Haskell
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2010)

A generic deriving mechanism for Haskell
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2010)

Generic Programming with Multiple Parameters
de réir: aes, J
Foilsithe / Cruthaithe: (2014)

The right kind of generic programming
de réir: aes, J
Foilsithe / Cruthaithe: (2012)

Optimisation of Generic Programs through Inlining
de réir: aes, J
Foilsithe / Cruthaithe: (2013)

Optimisation of Generic Programs Through Inlining
de réir: aes, J
Foilsithe / Cruthaithe: (2013)

Generic programming with indexed functors
de réir: Löh, A, et al.
Foilsithe / Cruthaithe: (2011)

Comparing Approaches to Generic Programming in Haskell
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2007)

Less Is More: Generic Programming Theory and Practice
de réir: Magalh aes, J
Foilsithe / Cruthaithe: (2012)

A Formal Comparison of Approaches to Datatype−Generic Programming
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2012)

Generic Haskell: Applications
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2003)

Generic Haskell: Applications
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2003)

Generic Haskell: Practice and Theory
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2003)

Generic Haskell: Practice and Theory
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2003)

Generic Representations of Tree Transformations
de réir: Bransen, J, et al.
Foilsithe / Cruthaithe: (2013)

The Generic Haskell user's guide
de réir: Clarke, D, et al.
Foilsithe / Cruthaithe: (2001)

ECONOMIC REASONS FOR GENERIC CHOICE
de réir: N. P. Kutishenko, et al.
Foilsithe / Cruthaithe: (2016-01-01)

Generic and Indexed Programming
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2007)

Datatype-generic programming
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2007)

Datatype−Generic Programming
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2007)

Scala for generic programmers Comparing Haskell and Scala support for generic programming
de réir: Oliveira, B, et al.
Foilsithe / Cruthaithe: (2010)

Generic Programming
Foilsithe / Cruthaithe: (2003)

Properties of Exercise Strategies
de réir: Alex Gerdes, et al.
Foilsithe / Cruthaithe: (2010-12-01)

Patterns in Datatype−Generic Programming
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2003)

Generic Programming‚ Now!
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2007)

Datatype−Generic Programming
Foilsithe / Cruthaithe: (2007)

Generic and Indexed Programming
Foilsithe / Cruthaithe: (2012)

Generic Programs and Proofs
de réir: Hinze, R
Foilsithe / Cruthaithe: (2000)

Generic Programming with Adjunctions
de réir: Hinze, R
Foilsithe / Cruthaithe: (2012)