Generic Programs and Proofs

Generic Programs and Proofs

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Hinze, R
Ձևաչափ:	Թեզիս
Հրապարակվել է:	2000

Նմանատիպ նյութեր

Generic Programming with Adjunctions
‌: Hinze, R
Հրապարակվել է: (2012)

Special Issue on Generic Programming
‌: Hinze, R
Հրապարակվել է: (2010)

Generic Programming‚ Now!
‌: Hinze, R, և այլն
Հրապարակվել է: (2007)

Special Issue on Generic Programming Editorial
‌: Hinze, R
Հրապարակվել է: (2010)

Special issue on generic programming editorial
‌: Hinze, R
Հրապարակվել է: (2010)

A Generic Programming Extension for Haskell
‌: Hinze, R
Հրապարակվել է: (1999)

Generic programming in 3D
‌: Hinze, R, և այլն
Հրապարակվել է: (2009)

Generic Programming in 3D
‌: Hinze, R, և այլն
Հրապարակվել է: (2007)

Generic Programming in 3D
‌: Hinze, R, և այլն
Հրապարակվել է: (2009)

A new approach to generic functional programming
‌: Hinze, R
Հրապարակվել է: (2000)

A New Approach to Generic Functional Programming
‌: Hinze, R
Հրապարակվել է: (1999)

Towards a categorical foundation for generic programming
‌: Hinze, R, և այլն
Հրապարակվել է: (2011)

Comparing Approaches to Generic Programming in Haskell
‌: Hinze, R, և այլն
Հրապարակվել է: (2007)

Towards a Categorical Foundation for Generic Programming
‌: Hinze, R, և այլն
Հրապարակվել է: (2011)

Do Generic Proofs Improve Proof Comprehension?
‌: Kristen Lew, և այլն
Հրապարակվել է: (2020-08-01)

Generics for the masses
‌: Hinze, R
Հրապարակվել է: (2015)

Generics for the masses
‌: Hinze, R
Հրապարակվել է: (2004)

Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries
‌: Henglein, F, և այլն
Հրապարակվել է: (2013)

Generic Haskell: Applications
‌: Hinze, R, և այլն
Հրապարակվել է: (2003)

Generic Haskell: Applications
‌: Hinze, R, և այլն
Հրապարակվել է: (2003)

Combining Generics and Dynamics
‌: Achten, P, և այլն
Հրապարակվել է: (2002)

Generic Haskell: Practice and Theory
‌: Hinze, R, և այլն
Հրապարակվել է: (2003)

Generic Haskell: Practice and Theory
‌: Hinze, R, և այլն
Հրապարակվել է: (2003)

A Generic Security Proof for Quantum Key Distribution
‌: Christandl, M, և այլն
Հրապարակվել է: (2004)

A lightweight implementation of generics and dynamics
‌: Cheney, J, և այլն
Հրապարակվել է: (2002)

Generic Generic Programming
‌: aes, J, և այլն
Հրապարակվել է: (2014)

Extensible and Modular Generics for the Masses
‌: Oliveira, B, և այլն
Հրապարակվել է: (2007)

Generics as a Library
‌: dos Santos Oliveira, B, և այլն
Հրապարակվել է: (2006)

Scans and Convolutions—A Calculational Proof of Moessner's Theorem
‌: Hinze, R
Հրապարակվել է: (2009)

Scans and Convolutions-A Calculational Proof of Moessner's Theorem
‌: Hinze, R
Հրապարակվել է: (2011)

Scans and Convolutions—A Calculational Proof of Moessner's Theorem
‌: Hinze, R
Հրապարակվել է: (2011)

Generic Programming
Հրապարակվել է: (2003)

The Generic Haskell user's guide
‌: Clarke, D, և այլն
Հրապարակվել է: (2001)

A reflection−based proof tactic for lattices in Coq
‌: James, D, և այլն
Հրապարակվել է: (2009)

A reflection−based proof tactic for lattices in Coq
‌: James, D, և այլն
Հրապարակվել է: (2010)

A Reflection−based Proof Tactic for Lattices in Coq
‌: James, D, և այլն
Հրապարակվել է: (2009)

Datatype−Generic Programming
Հրապարակվել է: (2007)

Generic and Indexed Programming
Հրապարակվել է: (2012)

Datatype-generic programming
‌: Gibbons, J
Հրապարակվել է: (2007)

Generic and Indexed Programming
‌: Gibbons, J, և այլն
Հրապարակվել է: (2007)