An Algorithmic Reconstruction of Normalisation by Evaluation
Summary
An Algorithmic Reconstruction of Normalisation by Evaluation Zhixuan Yang, the University of Exeter In the past a few years, I spent quite a lot of time to lea...
Original reporting
AFBytes is a read-only aggregator. Use the original source for full context and complete reporting.
Open original source