Synchrones glōsses programmatismou
Relational Constraint: a Fast Semantic Analysis Technique
Principled Optimization of Functional Programs
A Formal Definition of Unnecessary Computation in Functional Programs
Thinning Context-free Languages
Modern Programming Languages
The Pastor and the Priestess
Wolf at the Door