16 results
List of Contributors
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp vii-x
-
- Chapter
-
- You have access
- Open access
- Export citation
Preface
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp xi-xiv
-
- Chapter
-
- You have access
- Open access
- Export citation
5 - Probabilistic Couplings from Program Logics
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 145-184
-
- Chapter
-
- You have access
- Open access
- Export citation
Contents
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp v-vi
-
- Chapter
-
- You have access
- Open access
- Export citation
Frontmatter
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp i-iv
-
- Chapter
-
- You have access
- Open access
- Export citation
Foundations of Probabilistic Programming
-
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020
-
- Book
-
- You have access
- Open access
- Export citation
A relational logic for higher-order programs
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 21 October 2019, e16
-
- Article
-
- You have access
- Export citation
A certified lightweight non-interference Java bytecode verifier†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 23 / Issue 5 / October 2013
- Published online by Cambridge University Press:
- 17 May 2013, pp. 1032-1081
-
- Article
- Export citation
Secure information flow by self-composition†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 21 / Issue 6 / December 2011
- Published online by Cambridge University Press:
- 27 October 2011, pp. 1207-1252
-
- Article
- Export citation
A computational view of implicit coercions in type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 15 / Issue 5 / October 2005
- Published online by Cambridge University Press:
- 04 October 2005, pp. 839-874
-
- Article
- Export citation
Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 1 / January 2004
- Published online by Cambridge University Press:
- 14 January 2004, pp. 1-2
-
- Article
-
- You have access
- Export citation
Remarks on the equational theory of non-normalizing pure type systems
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 2 / March 2006
- Published online by Cambridge University Press:
- 16 September 2003, pp. 137-155
-
- Article
-
- You have access
- Export citation
Setoids in type theory
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 2 / March 2003
- Published online by Cambridge University Press:
- 20 March 2003, pp. 261-293
-
- Article
-
- You have access
- Export citation
Special issue on Dependent Type Theory Meets Programming Practice CALL FOR PAPERS
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 4 / July 2001
- Published online by Cambridge University Press:
- 04 September 2001, p. 437
-
- Article
-
- You have access
- Export citation
Domain-free pure type systems
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 5 / September 2000
- Published online by Cambridge University Press:
- 03 November 2000, pp. 417-452
-
- Article
-
- You have access
- Export citation
Type-checking injective pure type systems
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 6 / November 1999
- Published online by Cambridge University Press:
- 01 November 1999, pp. 675-698
-
- Article
-
- You have access
- Export citation