UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Introducing String Diagrams: The Art of Category Theory

Hinze, Ralf

2023

Volltextzugriff (PDF)

Certified, total serialisers with an application to Huffman encoding

Journal of functional programming, 2023-12, Vol.33, Article e12

HINZE, RALF

2023

Volltextzugriff (PDF)

Generics for the masses

Journal of functional programming, 2006-07, Vol.16 (4-5), p.451-483

HINZE, RALF

2006

Volltextzugriff (PDF)

Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Hinze, Ralf

2013, 2013

Volltextzugriff (PDF)

Unifying structured recursion schemes

Journal of functional programming, 2016, Vol.26

2016

Volltextzugriff (PDF)

Super-naturals

Journal of functional programming, 2022-01, Vol.32, Article e5

2022

Volltextzugriff (PDF)

Adjoint folds and unfolds—An extended study

Science of computer programming, 2013-11, Vol.78 (11), p.2108-2159

Hinze, Ralf

2013

Volltextzugriff (PDF)

On constructing 2-3 trees

Journal of functional programming, 2018, Vol.28, Article e19

HINZE, RALF

2018

Volltextzugriff (PDF)

Self-certifying Railroad Diagrams: Or: How to Teach Nondeterministic Finite Automata

Mathematics of Program Construction, 2019, p.103-137

2019

Volltextzugriff (PDF)

Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

1, 2015

Volltextzugriff (PDF)

Generalizing generalized tries

Journal of functional programming, 2000-07, Vol.10 (4), p.327-351

HINZE, RALF

2000

Volltextzugriff (PDF)

Batcher's odd-even merging network revealed

Journal of functional programming, 2018-01, Vol.28, Article e14

2018

Volltextzugriff (PDF)

Parberry’s pairwise sorting network revealed

Journal of functional programming, 2018, Vol.28, Article e21

2018

Volltextzugriff (PDF)

Einführung in die funktionale Programmierung mit Miranda

Hinze, Ralf Thomas Walter

1992

Volltextzugriff (PDF)

Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers

Journal of logical and algebraic methods in programming, 2016-08, Vol.85 (5), p.931-951

2016

Volltextzugriff (PDF)

Concrete stream calculus: An extended study

Journal of functional programming, 2010-11, Vol.20 (5-6), p.463-535

HINZE, RALF

2010

Volltextzugriff (PDF)

Unifying structured recursion schemes: An Extended Study

Journal of functional programming, 2016, Vol.26, Article e1

2016

Volltextzugriff (PDF)

Calculating Datastructures

Mathematics of Program Construction, 2022, Vol.13544, p.62-101

2022

Volltextzugriff (PDF)

Dependently-Typed Programming in Scientific Computing: Examples from Economic Modelling

Implementation and Application of Functional Languages, 2013, Vol.8241 LNCS, p.140-156

2013

Volltextzugriff (PDF)

Engineering Proof by Reflection in Agda

Implementation and Application of Functional Languages, 2013, Vol.8241, p.157-173

2013

Volltextzugriff (PDF)

Typed quote/antiquote or: Compile-time parsing

Journal of functional programming, 2011-05, Vol.21 (3), p.219-234

HINZE, RALF

2011

Volltextzugriff (PDF)

Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Hinze, Ralf

2013, 2013

Volltextzugriff (PDF)

The Bird Tree

Journal of functional programming, 2009-09, Vol.19 (5), p.491-508

HINZE, RALF

2009

Volltextzugriff (PDF)

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

2007th edition, 2007

Volltextzugriff (PDF)

Special Issue on Generic Programming Editorial

Journal of functional programming, 2010-07, Vol.20 (3-4), p.211-212

HINZE, RALF

2010

Volltextzugriff (PDF)

1 – 25 von 280

Menü

Weitere Dienste

Einstellungen

Introducing String Diagrams: The Art of Category Theory

Certified, total serialisers with an application to Huffman encoding

Generics for the masses

Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Unifying structured recursion schemes

Super-naturals

Adjoint folds and unfolds—An extended study

On constructing 2-3 trees

Self-certifying Railroad Diagrams: Or: How to Teach Nondeterministic Finite Automata

Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Generalizing generalized tries

Batcher's odd-even merging network revealed

Parberry’s pairwise sorting network revealed

Einführung in die funktionale Programmierung mit Miranda

Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers

Concrete stream calculus: An extended study

Unifying structured recursion schemes: An Extended Study

Calculating Datastructures

Dependently-Typed Programming in Scientific Computing: Examples from Economic Modelling

Engineering Proof by Reflection in Agda

Typed quote/antiquote or: Compile-time parsing

Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

The Bird Tree

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Special Issue on Generic Programming Editorial

Suchergebnisse filtern