The gentle art of levitation

James Chapman, Pierre-Evariste Dagand, Conor Mcbride, Peter Morris

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

36 Citations (Scopus)

1 results

Finished
Reusability and Dependent Types
Ghani, N. & McBride, C.
EPSRC (Engineering and Physical Sciences Research Council)
1/10/09 → 30/09/13
Project: Research