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)