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)