Generic Models of the Laws of Programming

Generic Models of the Laws of Programming

Bibliographic Details
Main Author:	Hoare, T
Format:	Conference item
Published:	Springer 2013

Similar Items

Generic Generic Programming
by: aes, J, et al.
Published: (2014)

Generic Programming
Published: (2003)

Laws of Occam Programming
by: Roscoe, A, et al.
Published: (1986)

The Laws of Occam Programming
by: Roscoe, A, et al.
Published: (1988)

The laws of occam programming
by: Roscoe, A, et al.
Published: (1988)

Generic Programming‚ Now!
by: Hinze, R, et al.
Published: (2007)

Datatype−Generic Programming
Published: (2007)

Generic and Indexed Programming
Published: (2012)

Datatype-generic programming
by: Gibbons, J
Published: (2007)

Generic and Indexed Programming
by: Gibbons, J, et al.
Published: (2007)

Generic Programs and Proofs
by: Hinze, R
Published: (2000)

Generic Programming with Adjunctions
by: Hinze, R
Published: (2012)

Datatype−Generic Programming
by: Gibbons, J
Published: (2007)

Laws of programming with concurrency (Invited Talk)
by: Hoare, T
Published: (2013)

Conservation laws for a class of generic Hamiltonians
by: Fagotti, M
Published: (2014)

The Laws of Programming Unify Process Calculi
by: Hoare, T, et al.
Published: (2012)

Generic Programming for Indexed Datatypes
by: aes, J, et al.
Published: (2011)

Generic programming in 3D
by: Hinze, R, et al.
Published: (2009)

Special Issue on Generic Programming
by: Hinze, R
Published: (2010)

Libraries for Generic Programming in Haskell
by: Jeuring, J, et al.
Published: (2008)

Generic programming with indexed functors
by: Löh, A, et al.
Published: (2011)

Generic programming for indexed datatypes
by: aes, J, et al.
Published: (2011)

Generic Programming in 3D
by: Hinze, R, et al.
Published: (2009)

Generic Programming with Multiple Parameters
by: aes, J
Published: (2014)

Generic Programming for Domain Reasoners
by: Jeuring, J, et al.
Published: (2010)

Libraries for Generic Programming in Haskell
by: Jeuring, J, et al.
Published: (2009)

Summer School on Generic Programming
Published: (2003)

The right kind of generic programming
by: aes, J
Published: (2012)

Patterns in Datatype−Generic Programming
by: Gibbons, J
Published: (2003)

Generic Programming in 3D
by: Hinze, R, et al.
Published: (2007)

Generic Programming for Domain Reasoners
by: Jeuring, J, et al.
Published: (2009)

Scala for generic programmers Comparing Haskell and Scala support for generic programming
by: Oliveira, B, et al.
Published: (2010)

System dynamics modeling of generic quality improvement programs
by: Khan, Omar S. (Omar Sharif)
Published: (2008)

The Laws of Programming
by: Hoare, C, et al.
Published: (1987)

Laws of programming
by: Roscoe, A, et al.
Published: (1987)

Optimisation of Generic Programs through Inlining
by: aes, J
Published: (2013)

Optimisation of Generic Programs Through Inlining
by: aes, J
Published: (2013)

Spring School on Datatype−Generic Programming
Published: (2007)

Comparing Approaches to Generic Programming in Haskell
by: Hinze, R, et al.
Published: (2007)

Modular Generic Programming with Extensible Superclasses
by: Sulzmann, M, et al.
Published: (2015)