QA9 queuea9.wordpress.com

Slides on Measure-Based Termination for STLC

queuea9.wordpress.com·26w

Notes for “The Stunner”

queuea9.wordpress.com·39w

A Script for Wadler’s Parable of LEM

queuea9.wordpress.com·55w

A Measure-Based Proof of the Finite Developments Theorem

queuea9.wordpress.com·57w

Could tail be a fold?

queuea9.wordpress.com·84w

What kind of principle is parametricity?

queuea9.wordpress.com·96w

Logging, pure and simple

queuea9.wordpress.com·124w

Practical Strong Functional Programming

queuea9.wordpress.com·153w

Predecessor with maybe

queuea9.wordpress.com·180w

Deriving a case of the omega-rule in pure lambda calculus

queuea9.wordpress.com·219w

And what, pray tell, is a universe?

queuea9.wordpress.com·231w

Care to Comment?

queuea9.wordpress.com·248w

Log in to enable infinite scrolling