7 results
Special Issue on Programming Languages for Big Data Editorial
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 28 / 2018
- Published online by Cambridge University Press:
- 12 March 2018, e8
-
- Article
-
- You have access
- Export citation
αCheck: A mechanized metatheory model checker*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 3 / May 2017
- Published online by Cambridge University Press:
- 22 May 2017, pp. 311-352
-
- Article
- Export citation
Proof-relevant π-calculus: a constructive account of concurrency and causality
-
- Journal:
- Mathematical Structures in Computer Science / Volume 28 / Issue 9 / October 2018
- Published online by Cambridge University Press:
- 04 May 2017, pp. 1541-1577
-
- Article
- Export citation
Editorial: Special issue dedicated to ICFP 2010
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 4-5 / September 2012
- Published online by Cambridge University Press:
- 15 August 2012, pp. 379-381
-
- Article
-
- You have access
- Export citation
Provenance as dependency analysis†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 21 / Issue 6 / December 2011
- Published online by Cambridge University Press:
- 27 October 2011, pp. 1301-1337
-
- Article
- Export citation
Practical Solutions for Injury Surveillance at Mass Gatherings
-
- Journal:
- Prehospital and Disaster Medicine / Volume 23 / Issue 1 / February 2008
- Published online by Cambridge University Press:
- 28 June 2012, pp. 76-81
- Print publication:
- February 2008
-
- Article
- Export citation
Completeness and Herbrand theorems for nominal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 299-320
- Print publication:
- March 2006
-
- Article
- Export citation