9 results
On being a PhD student of Robert Harper
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 13 January 2022, e3
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 28 / 2018
- Published online by Cambridge University Press:
- 22 November 2018, e20
-
- Article
-
- You have access
- Open access
- Export citation
Special issue dedicated to ICFP 2014: Editorial
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 25 October 2016, e20
-
- Article
-
- You have access
- Export citation
Mtac: A monad for typed tactic programming in Coq
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 25 / 2015
- Published online by Cambridge University Press:
- 24 August 2015, e12
-
- Article
-
- You have access
- Export citation
F-ing modules
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 5 / September 2014
- Published online by Cambridge University Press:
- 19 November 2014, pp. 529-607
-
- Article
-
- You have access
- Export citation
How to make ad hoc proof automation less ad hoc
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 29 October 2013, pp. 357-401
-
- Article
-
- You have access
- Export citation
The impact of higher-order state and control effects on local relational reasoning
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 4-5 / September 2012
- Published online by Cambridge University Press:
- 15 August 2012, pp. 477-528
-
- Article
-
- You have access
- Export citation
Non-parametric parametricity
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 21 / Issue 4-5 / September 2011
- Published online by Cambridge University Press:
- 07 September 2011, pp. 497-562
-
- Article
-
- You have access
- Export citation
Recursive type generativity
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 4-5 / July 2007
- Published online by Cambridge University Press:
- 01 July 2007, pp. 433-471
-
- Article
-
- You have access
- Export citation