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)