WORLD.RICKRUBEN.COM
Biography
Contact
Facebook
Instagram
LinkedIn
haskell-compiler
What Sequent Calculus Teaches Us About Computation
What Codata, Control Flow, and Logic Teach Us About Programming
Sequent Calculus vs CPS: A Compiler’s Perspective on Consumers and Evaluation Strategies