Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by RICHARD S. BIRD
De Bruijn Notation as a Nested Datatype
Journal of Functional Programming
Software
Related publications
Succinct Dynamic De Bruijn Graphs
Evolutionary Construction of De Bruijn Sequences
Parametric Datatype-Genericity
Pure Type Systems With De Bruijn Indices
Computer Journal
Computer Science
Optimal Routing in the De Bruijn Networks
A New Proof and a Generalization of a Theorem of De Bruijn
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
From Indexing Data Structures to De Bruijn Graphs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Sémiotique De L’action: Textualisation Et Notation
CASA: Cadernos de Semiótica Aplicada
What Does This Notation Mean Anyway? BNF-style Notation as It Is Actually Used
EasyChair Preprints
