Typed Contracts for Functional Programming

Typed Contracts for Functional Programming

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Hinze, R, Jeuring, J, Löh, A
Formáid:	Conference item
Foilsithe / Cruthaithe:	Springer Berlin / Heidelberg 2006

Míreanna comhchosúla

Type−indexed Data Types
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2002)

Type−indexed data types
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2002)

Type−indexed data types
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2004)

Comparing Approaches to Generic Programming in Haskell
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2007)

Functional Pearl: Weaving a web
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2001)

Generic Haskell: Practice and Theory
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2003)

Generic Haskell: Practice and Theory
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2003)

Generic Haskell: Applications
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2003)

Generic Haskell: Applications
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2003)

Open data types and open functions
de réir: Löh, A, et al.
Foilsithe / Cruthaithe: (2006)

Open data types and open functions
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2006)

The Generic Haskell user's guide
de réir: Clarke, D, et al.
Foilsithe / Cruthaithe: (2001)

Generic Programming‚ Now!
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2007)

Generic programming in 3D
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2009)

Generic Programming in 3D
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2007)

Generic Programming in 3D
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2009)

Construction contracts /
de réir: 243452 Hinze, Jimmie
Foilsithe / Cruthaithe: (2001)

Construction contracts /
de réir: 243452 Hinze, Jimmie
Foilsithe / Cruthaithe: (c201)

Construction contracts /
de réir: 243452 Hinze, Jimmie
Foilsithe / Cruthaithe: (1993)

A New Approach to Generic Functional Programming
de réir: Hinze, R
Foilsithe / Cruthaithe: (1999)

A new approach to generic functional programming
de réir: Hinze, R
Foilsithe / Cruthaithe: (2000)

Generic Programming for Indexed Datatypes
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2011)

Generic programming for indexed datatypes
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2011)

Generic Programming for Domain Reasoners
de réir: Jeuring, J, et al.
Foilsithe / Cruthaithe: (2009)

Generic Programming for Domain Reasoners
de réir: Jeuring, J, et al.
Foilsithe / Cruthaithe: (2010)

Libraries for Generic Programming in Haskell
de réir: Jeuring, J, et al.
Foilsithe / Cruthaithe: (2008)

Libraries for Generic Programming in Haskell
de réir: Jeuring, J, et al.
Foilsithe / Cruthaithe: (2009)

Functional pearl typed quote/antiquote or: Compile-time parsing
de réir: Hinze, R
Foilsithe / Cruthaithe: (2011)

Straight to the Heart of Computer Science via Functional Programming
de réir: Giegerich, R, et al.
Foilsithe / Cruthaithe: (1999)

Derivation of a Typed Functional LR Parser
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2003)

Optimizing Generics Is Easy!
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2009)

Optimizing Generics Is Easy!
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2010)

Polytypic Programming With Ease
de réir: Hinze, R
Foilsithe / Cruthaithe: (1999)

Generic Programs and Proofs
de réir: Hinze, R
Foilsithe / Cruthaithe: (2000)

Generic Programming with Adjunctions
de réir: Hinze, R
Foilsithe / Cruthaithe: (2012)

Polytypic Programming With Ease
de réir: Hinze, R
Foilsithe / Cruthaithe: (2001)

A generic deriving mechanism for Haskell
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2010)

A generic deriving mechanism for Haskell
de réir: aes, J, et al.
Foilsithe / Cruthaithe: (2010)

Special Issue on Generic Programming
de réir: Hinze, R
Foilsithe / Cruthaithe: (2010)

Special Issue on Generic Programming Editorial
de réir: Hinze, R
Foilsithe / Cruthaithe: (2010)