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)