Posts tagged "polysemy"

• Proving Commutativity of Polysemy Interpreters October 21, 2021
• Proving Equivalence of Polysemy Interpreters October 16, 2021
• Testing Polysemy With polysemy-check October 9, 2021
• Porting to Polysemy October 2, 2021
• Polysemy: Mea Culpa June 14, 2020
• Polysemy Internals: The Effect-Interpreter Effect June 26, 2019
• Polysemy Internals: Freer Interpretations of Higher-Order Effects May 31, 2019
• Faking Fundeps with Typechecker Plugins May 25, 2019
• Writing Custom Optimization Passes May 22, 2019
• GHC's Specializer: Much More Than You Wanted to Know May 18, 2019