11 results
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 26 February 2021, e5
-
- Article
-
- You have access
- Export citation
Safe zero-cost coercions for Haskell
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 26 / 2016
- Published online by Cambridge University Press:
- 28 July 2016, e15
-
- Article
-
- You have access
- Export citation
Sustained Infection Reduction in Outpatient Hemodialysis Centers Participating in a Collaborative Bloodstream Infection Prevention Effort
-
- Journal:
- Infection Control & Hospital Epidemiology / Volume 37 / Issue 7 / July 2016
- Published online by Cambridge University Press:
- 12 February 2016, pp. 863-866
- Print publication:
- July 2016
-
- Article
-
- You have access
- HTML
- 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
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
Parametricity, type equality, and higher-order polymorphism
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 2 / March 2010
- Published online by Cambridge University Press:
- 15 April 2010, pp. 175-210
-
- Article
-
- You have access
- Export citation
Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism*
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 1 / January 2008
- Published online by Cambridge University Press:
- 01 January 2008, pp. 87-140
-
- Article
-
- You have access
- Export citation
Practical type inference for arbitrary-rank types
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 1 / January 2007
- Published online by Cambridge University Press:
- 01 January 2007, pp. 1-82
-
- Article
-
- You have access
- Export citation
Type-safe run-time polytypic programming
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 6 / November 2006
- Published online by Cambridge University Press:
- 28 February 2006, pp. 681-710
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARL Type-safe cast
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 6 / November 2004
- Published online by Cambridge University Press:
- 27 October 2004, pp. 681-695
-
- Article
-
- You have access
- Export citation
Intensional polymorphism in type-erasure semantics
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 6 / November 2002
- Published online by Cambridge University Press:
- 06 November 2002, pp. 567-600
-
- Article
-
- You have access
- Export citation