Showing 1 - 17 results of 17 for search 'Institut für Informatik III‚ Universität Bonn', query time: 0.47s Refine Results
  1. 1
    Generalizing Generalized Tries

    Generalizing Generalized Tries by Hinze, R

    Published 1998
    “…Institut für Informatik III‚ Universität Bonn…”
    Report
  2. 2
    Manufacturing Datatypes

    Manufacturing Datatypes by Hinze, R

    Published 1999
    “…Institut für Informatik III‚ Universität Bonn…”
    Report
  3. 3
    A New Approach to Generic Functional Programming

    A New Approach to Generic Functional Programming by Hinze, R

    Published 1999
    “…Institut für Informatik III‚ Universität Bonn…”
    Report
  4. 4
    Efficient Monadic−style Backtracking

    Efficient Monadic−style Backtracking by Hinze, R

    Published 1996
    “…Institut für Informatik III‚ Universität Bonn…”
    Report
  5. 5
    Deriving monad transformers

    Deriving monad transformers by Hinze, R

    Published 1999
    “…Institut für Informatik III‚ Universität Bonn…”
    Report
  6. 6
    The Categorical Abstract Machine: Basics and Enhancments

    The Categorical Abstract Machine: Basics and Enhancments by Hinze, R

    Published 1992
    “…Institut für Informatik III‚ Universität Bonn…”
    Report
  7. 7
    Constructing Red−Black Trees

    Constructing Red−Black Trees by Hinze, R

    Published 1999
    “…Institut für Informatik III‚ Universität Bonn…”
    Report
  8. 8
    “Scrap Your Boilerplate” Reloaded

    “Scrap Your Boilerplate” Reloaded by Hinze, R, Löh, A, dos Santos Oliveira, B

    Published 2006
    “…Institut für Informatik III‚ Universität Bonn…”
    Report
  9. 9
    Open data types and open functions

    Open data types and open functions by Hinze, R, Löh, A

    Published 2006
    “…Institut für Informatik III‚ Universität Bonn…”
    Report
  10. 10
    Church numerals‚ twice!

    Church numerals‚ twice! by Hinze, R

    Published 2002
    “…Institut für Informatik III‚ Universität Bonn…”
    Report
  11. 11
    Polytypic Functions Over Nested Datatypes

    Polytypic Functions Over Nested Datatypes by Hinze, R

    Published 1998
    “…Institut für Informatik III‚ Universität Bonn…”
    Report
  12. 12
    Polytypic Programming With Ease

    Polytypic Programming With Ease by Hinze, R

    Published 1999
    “…Institut für Informatik III‚ Universität Bonn…”
    Report
  13. 13
    Constructing tournament representations: An exercise in pointwise relational programming

    Constructing tournament representations: An exercise in pointwise relational programming by Hinze, R

    Published 2002
    “…Institut für Informatik III‚ Universität Bonn…”
    Report
  14. 14
    Perfect Trees and Bit−reversal Permutations

    Perfect Trees and Bit−reversal Permutations by Hinze, R

    Published 1999
    “…Institut für Informatik III‚ Universität Bonn…”
    Report
  15. 15
    Polytypic values possess polykinded types

    Polytypic values possess polykinded types by Hinze, R

    Published 1999
    “…Institut für Informatik III‚ Universität Bonn…”
    Report
  16. 16
    Numerical Representations as Higher−Order Nested Datatypes

    Numerical Representations as Higher−Order Nested Datatypes by Hinze, R

    Published 1998
    “…Institut für Informatik III‚ Universität Bonn…”
    Report
  17. 17
    Efficient Generalized Folds

    Efficient Generalized Folds by Hinze, R

    Published 1999
    “…Institut für Informatik III‚ Universität Bonn…”
    Report

Search Tools: