Application of staging to "scrap your boilerplate" generic programming technique.
2 people like thisPosted: 9 years ago by Nick Palladinos
Partial evaluating the Ackermann function.
2 people like thisPosted: 8 years ago by Nick Palladinos
Staged Parser Combinators
2 people like thisPosted: 7 years ago by Nick Palladinos
Staged Monoidal Folds based on https://github.com/Gabriel439/slides/blob/master/munihac/foldmap.md
1 people like thisPosted: 7 years ago by Nick Palladinos
Staged generic hashcode generation using TypeShape.
0 people like thisPosted: 7 years ago by Eirik Tsarpalis
Staged Higher-order abstract syntax via GADT encoding.
0 people like thisPosted: 7 years ago by Nick Palladinos
Transform a Free Monad interpreter to a compiler through staging.
2 people like thisPosted: 7 years ago by Nick Palladinos
Staged typed formatting, based on http://okmij.org/ftp/ML/GADT.txt, https://www.cl.cam.ac.uk/~jdy22/papers/modular-macros.pdf
0 people like thisPosted: 7 years ago by NIck Palladinos
Staged Trampoline.
1 people like thisPosted: 7 years ago by NIck Palladinos
Staged fixed-point combinator without staged recursion.
3 people like thisPosted: 8 years ago by Nick Palladinos
A staged a regular expression interpreter is a compiler!!!
4 people like thisPosted: 8 years ago by Nick Palladinos
Staged Functional Unparsing based on http://www.brics.dk/RS/98/12/BRICS-RS-98-12.pdf
0 people like thisPosted: 7 years ago by Nick Palladinos
Lightweight Staged Numeric code.
1 people like thisPosted: 7 years ago by Nick Palladinos
Staged generic equality comparer using TypeShape.
1 people like thisPosted: 7 years ago by Eirik Tsarpalis
Staged Higher-order abstract syntax via GADT encoding.
4 people like thisPosted: 7 years ago by Nick Palladinos
Staged Ziria Streams, based on https://github.com/dimitriv/ziria-sem/blob/master/Haskell/ZirBasic.hs.
0 people like thisPosted: 7 years ago by NIck Palladinos
Staged Parallel Ziria Streams.
1 people like thisPosted: 7 years ago by NIck Palladinos
Staged Generic Programming with support for recursive types PoC
0 people like thisPosted: 7 years ago by Eirik Tsarpalis