HinzeRalf

发表

Finger trees: a simple general-purpose data structure

HinzeRalf, PatersonRoss, 2006 .

Deriving backtracking monad transformers

HinzeRalf, 2000 .

Perfect trees and bit-reversal permutations

HinzeRalf, 2000 .

Effect handlers in scope

SchrijversTom, HinzeRalf, WuNicolas, 2014 .

Conjugate Hylomorphisms -- Or

HinzeRalf, GibbonsJeremy, WuNicolas, 2015 .

Proving the unique fixed-point principle correct

HinzeRalf, W H JamesDaniel, 2011 .

A simple implementation technique for priority search queues

HinzeRalf, 2001 .

Relational algebra by way of adjunctions

HinzeRalf, GibbonsJeremy, HengleinFritz, 2018 .