13 results
Legislative Civility, Gridlock, Polarization, and Productivity
-
- Journal:
- State Politics & Policy Quarterly / Volume 24 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 28 November 2023, pp. 1-22
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
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
13 - Luck: A Probabilistic Language for Testing
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 449-488
-
- Chapter
-
- You have access
- Open access
- Export citation
Higher-order intersection types and multiple inheritance†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 6 / Issue 5 / October 1996
- Published online by Cambridge University Press:
- 19 April 2018, pp. 469-501
-
- Article
- Export citation
Testing noninterference, quickly
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 05 April 2016, e4
-
- Article
-
- You have access
- Export citation
Special Issue Dedicated to ICFP 2011 Editorial
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 4 / July 2013
- Published online by Cambridge University Press:
- 29 October 2013, pp. 355-356
-
- Article
-
- You have access
- Export citation
Contracts made manifest*
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 3 / May 2012
- Published online by Cambridge University Press:
- 29 May 2012, pp. 225-274
-
- Article
-
- You have access
- Export citation
Simple type-theoretic foundations for object-oriented programming
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 2 / April 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 207-247
-
- Article
-
- You have access
- Export citation
Preface
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 4-5 / July 2007
- Published online by Cambridge University Press:
- 01 July 2007, p. 431
-
- Article
-
- You have access
- Export citation
Regular expression pattern matching for XML
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 6 / November 2003
- Published online by Cambridge University Press:
- 29 October 2003, pp. 961-1004
-
- Article
-
- You have access
- Export citation
TinkerType: a language for playing with formal systems
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 2 / March 2003
- Published online by Cambridge University Press:
- 20 March 2003, pp. 295-316
-
- Article
-
- You have access
- Export citation
Recursive subtyping revealed
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 6 / November 2002
- Published online by Cambridge University Press:
- 06 November 2002, pp. 511-548
-
- Article
-
- You have access
- Export citation
Intersection types and bounded polymorphism
-
- Journal:
- Mathematical Structures in Computer Science / Volume 7 / Issue 2 / April 1997
- Published online by Cambridge University Press:
- 01 April 1997, pp. 129-193
-
- Article
- Export citation