Lazy evaluation is a powerful tool for functional programmers. It enable...
We present "interaction trees" (ITrees), a general-purpose data structur...
Software frequently converts data from one representation to another and...
We present the first formal verification of a networked server implement...