1. Mentioned In 22 Articles

2. Scrap your type applications

   Microsoft Research Home (Jul 17 2008) Explore Article

   ...erous even to a computer. We encountered this in practice when implementing derivable type classes (Hinze and Peyton Jones 2000) in the Glasgow Haskell Compiler (GHC). The implementation transforms an N-ar... (Read Full Article)
   

   Comment on Article Mentions:   Benjamin C. Pierce   Jeremy Gibbons   Systems

3. An Extensible Dynamically-Typed Hierarchy of Exceptions

   Haskell (Jul 15 2008) Explore Article

   ...ign and Implementation (TLDI’03), pages 26–37, New Orleans, Jan. 2003. ACM. [6] A. L¨ h and R. Hinze. Open data types and open functions. In Eighth o ACM-SIGPLAN International Symposium on Principles ... (Read Full Article)
   

   Comment on Article Mentions:   SIGPLAN International Conference   Simon Peyton Jones   Hinze

4. 2008-010.pdf (application/pdf Object)

   cs.uu.nl (Jul 9 2008) Explore Article

   ...e different libraries. • The benchmark itself is a contribution. It can be seen as a [Cheney and Hinze, 2002] • Polytypic programming in Haskell (PolyLib) [Norell and Jans- son, 2004] • Scrap your ... (Read Full Article)
   

   Comment on Article Mentions:   Roland Backhouse   Huiqing Li   Jeremy Gibbons

5. http://www.cs.chalmers.se/ ~emax/wired/documents/LP_HFL07 .pdf

   cs.chalmers.se (Jul 7 2008) Explore Article

   ...mplest to present, but in practice we use the more efficient variant, shown in Appendix 2, based on Hinze’s twocontinuation monad transformer [4]. 2.5 Adding Variables The implicit state of a logic pr... (Read Full Article)
   

   Comment on Article Mentions:   Acm Sigplan   Emil Axelsson   Michael Hanus

6. "Scrap Your Boilerplate" Reloaded

   informatik.uni-bonn.de (Jul 5 2008) Explore Article

   Haskell “Scrap Your Boilerplate” Reloaded Ralf Hinze1 , Andres L¨h1 , and Bruno C. d. S. Oliveira2 o Institut f¨r Informatik III, Universit¨t Bonn u ... (Read Full Article)
   

   Comment on Article Mentions:   Simon Peyton Jones   Haskell   Jeremy Gibbons

7. [Haskell] Dependent Types in Haskell [was: Eliminating Array Bound Checking through Non-dependent] types

   Haskell (Jun 19 2008) Explore Article

   ...e "compiled" away arithmetic, why not get rid of equality? I rely on encoding trick used by Cheney, Hinze, Weirich, Xi and most likely many others. -- append3.hs -- we introduce terms to represent equality... (Read Full Article)
   

   Comment on Article Mentions:   Tim Sheard   Martin Sulzmann   Hinze

8. Zipper (data structure) - Wikipedia, the free encyclopedia

   Main Page (Jun 3 2008) Explore Article

   ...d. "Functional Pearl: The Zipper" Journal of Functional Programming 7 (5): 549-554, September 1997. Hinze, Ralf, et al. "Type-indexed data types". 23 July 2003 Zipper Infinitesimal Types "Roll Your Own Win... (Read Full Article)
   

   Comment on Article Mentions:   Hinze

9. The Web (Functional Pearl) (ResearchIndex)

   citeseer.ist.psu.edu (May 23 2008) Explore Article

   ...e Zipper briey in Sec. 2. A drawback of the... (Update) 35.0%:   Functional Pearl: Weaving a Web - Hinze, Jeuring (2001) (Read Full Article)
   

   Comment on Article Mentions:   Hinze

10. The Derivative of a Regular Type is its Type of One-Hole Contexts (Extended Abstract) - McBride (ResearchIndex)

    citeseer.ist.psu.edu (May 20 2008) Explore Article

    ...uch a context. One-hole contexts are given as inhabitants of ... (Update) Type-Indexed Data Types - Hinze, Jeuring, Löh (2001) The Differential Lambda-Calculus - Ehrhard, Regnier (2001) 0.5:   Dependen... (Read Full Article)
    

    Comment on Article Mentions:   Hinze

11. Generic Haskell: applications - Hinze, Jeuring (ResearchIndex)

    citeseer.ist.psu.edu (May 13 2008) Explore Article

    ...eneric Haskell User's Guide - Version 1.42 -.. - Löh, Jeuring.. (2005) Type-Indexed Data Types - Hinze, Jeuring, Löh (2001) Prototyping Generic Programming in Template Haskell - Jansson (2004) BibTeX... (Read Full Article)
    

    Comment on Article Mentions:   Johan Jeuring   Hinze   Computer Science

12. Hardware Design and Functional Programming: a Perfect Match

    jucs.org (May 9 2008) Explore Article

    ...of a parallel prefix circuit by composition of two smaller such circuits, p1 and p2. More recently, Hinze has studied the algebra of scans in a delightful paper that is also a great tutorial on parallel pr... (Read Full Article)
    

    Comment on Article Mentions:   Emil Axelsson   Advanced Functional Programming   Mary Sheeran

13. Haskell/Laziness - Wikibooks, collection of open-content textbooks

    Main Page (Apr 8 2008) Explore Article

    ...= g x The same logic applies. Dynamic programming with immutable arrays. DP with other finite maps, Hinze's paper "Trouble shared is Trouble halved". Let-floating \x-> let z = foo x in \y -> ... . Move con... (Read Full Article)
    

    Comment on Article Mentions:   Haskell   Computer Science   Hinze

14. Monadic Memoization Mixins

    cs.utexas.edu (Mar 5 2008) Explore Article

    ...the ST monad. It also uses hard-coded inheritance rather than explicit fixed-points. tabFib/nofix Hinze developed a theory of tabulating functions that can be used for memoization [11]. A tabulation is a... (Read Full Article)
    

    Comment on Article Mentions:   Peter Norvig   Systems   Erik Meijer

15. Functional Pearls: Pickler Combinators

    Microsoft Research Home (Mar 5 2008) Explore Article

    ...tudied as an application of generic programming (Morrisett & Harper, 1995; Jansson & Jeuring, 2002; Hinze, 2002), in which pickling and unpickling functions are defined by induction on the structure of ty... (Read Full Article)
    

    Comment on Article Mentions:   Jansson   Sun Microsystems   Ralf Hinze

16. Data Types a la Carte

    cs.nott.ac.uk (Feb 24 2008) Explore Article

    ... carte. This a is not even possible with proposed language extensions for open data types (L¨h & o Hinze, 2006). Adding new functions is not much more difficult. As a second example, we show how to render... (Read Full Article)
    

    Comment on Article Mentions:   Philip Wadler   Conor McBride   University of Nottingham

1-15 of 22 // 1 2 »