Syntax for Free: Representing Syntax with Binding Using Parametricity

Robert Atkey

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Finished

2 results

ReQueST: ReQueST:Resource Quantification in e-science Technologies.
Sannella, D., Aspinall, D., Gilmore, S. & Stark, I.
EPSRC
1/05/05 → 31/01/09
Project: Research
RESA: Resource Static Analysis
Aspinall, D. & Sannella, D.
EPSRC
1/03/09 → 30/09/10
Project: Research