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)