If you made any changes in Pure these will be visible here soon.

Thesis

A lambda-calculus that achieves full laziness with spine duplication

Author: Sherratt, D., 4 Sep 2019

Supervisor: Guglielmi, A. (Supervisor) & Heijltjes, W. (Supervisor)

Student thesis: Doctoral ThesisPhD

File