reflectionwithoutremorse

reflectionwithoutremorse copied to clipboard

Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection

This code is organized as follows:

• The root contains benchmarks, demonstrating how our solution improves performance
• BeforeFix contains the code of various monads before applying our techniques
• AfterFix contains the code of the same monads with our techniques applied
• Data contains various type-aligned sequences
• CPS contains various continuation passing style constructs

To run the LogicT examples with a two continuation passing implementation do:

cabal install logict