David R Sherratt

David R Sherratt
Friedrich Schiller University Jena | FSU · Department of Computer Science

Doctor of Philosophy

About

2
Publications
89
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
1
Citation
Citations since 2016
2 Research Items
1 Citation
20162017201820192020202120220.00.20.40.60.81.0
20162017201820192020202120220.00.20.40.60.81.0
20162017201820192020202120220.00.20.40.60.81.0
20162017201820192020202120220.00.20.40.60.81.0

Publications

Publications (2)
Chapter
We present the spinal atomic \(\lambda \)-calculus, a typed \(\lambda \)-calculus with explicit sharing and atomic duplication that achieves spinal full laziness: duplicating only the direct paths between a binder and bound variables is enough for beta reduction to proceed. We show this calculus is the result of a Curry–Howard style interpretation...
Research Proposal
Full-text available
The aim is to explore an efficient non-optimal implementation of the λ-calculus by developing atomic graphs: a graph rewriting system based on the atomic λ-calculus. The use of director annotations help guide active sharings through the graph, and the use of gates to maintain annotations after β-reduction. The use of labels and gates are the same...

Network

Cited By