An Exercise in Polytypic Program Derivation: repmin (1996)

Cached

Download Links

by Oege De Moor
Citations:3 - 0 self

Documents Related by Co-Citation

78 Using circular programs to eliminate multiple traversals of data – R S Bird - 1984
4 Traced premonoidal categories (Extended Abstract – N BENTON, M HYLAND - 2002
3 A Recursive do for Haskell: Design and Implementation – Levent Erkok - 2000
2 Global variables in Haskell. Draft paper. URL: www.cs.chalmers.se/~rjmh/Globals.ps – J HUGHES
2 Users Gofer System) web page. URL: www. haskell.org/hugs – Hugs
6 Semantics of fixIO – Levent Erkök, John Launchbury, Andrew Moran - 2001
47 First-class Polymorphism with Type Inference – Mark P. Jones
34 On embedding a microarchitectural design language within Haskell – John Launchbury, Jeffrey R. Lewis, Byron Cook - 1999
51 Typing Haskell in Haskell – Mark P. Jones - 1999
43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
23 Embedded Languages for Describing and Verifying Hardware – Koen Claessen - 2001
23 Reactive Objects and Functional Programming – Johan Nordlander - 1999
11 Value Recursion in Monadic Computations – Levent Erkok - 2002
32 Microprocessor Specification in Hawk – John Matthews, Byron Cook, John Launchbury - 1998
37 Report on the programming language haskell 98, a non-strict, purely functional language – Simon Peyton Jones, John Hughes - 1985
92 Simple Imperative Polymorphism – Andrew Wright - 1995
48 A new notation for arrows – Ross Paterson - 2001
6 Parametric Fortran – A Program Generator for Customized Generic Fortran Extensions – Martin Erwig, Zhe Fu - 2004
1 Hierarchical Libraries. http://www.haskell.org/ghc/ docs/latest/html/libraries – Haskell - 2006