Practical Foundations for Programming Languages
Latest Publications

TOTAL DOCUMENTS

53

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Cambridge University Press

9781139342131

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Continuations

Practical Foundations for Programming Languages ◽

10.1017/cbo9781139342131.030 ◽

2013 ◽

pp. 231-238

Author(s):

Robert Harper

Download Full-text

Equational Reasoning for PCF

Practical Foundations for Programming Languages ◽

10.1017/cbo9781139342131.049 ◽

2013 ◽

pp. 424-432

Author(s):

Robert Harper

Keyword(s):

Equational Reasoning

Download Full-text

Product Types

Practical Foundations for Programming Languages ◽

10.1017/cbo9781139342131.012 ◽

2013 ◽

pp. 81-85

Author(s):

Robert Harper

Download Full-text

Inductive Definitions

Practical Foundations for Programming Languages ◽

10.1017/cbo9781139342131.003 ◽

2013 ◽

pp. 11-19

Author(s):

Robert Harper

Keyword(s):

Inductive Definitions

Download Full-text

Nested Parallelism

Practical Foundations for Programming Languages ◽

10.1017/cbo9781139342131.040 ◽

2013 ◽

pp. 325-336

Author(s):

Robert Harper

Keyword(s):

Nested Parallelism

Download Full-text

Syntactic Objects

Practical Foundations for Programming Languages ◽

10.1017/cbo9781139342131.002 ◽

2013 ◽

pp. 3-10

Author(s):

Robert Harper

Download Full-text

Abstract Types

Practical Foundations for Programming Languages ◽

10.1017/cbo9781139342131.022 ◽

2013 ◽

pp. 162-169

Author(s):

Robert Harper

Keyword(s):

Abstract Types

Download Full-text

Constructive Logic

Practical Foundations for Programming Languages ◽

10.1017/cbo9781139342131.031 ◽

2013 ◽

pp. 241-248

Author(s):

Robert Harper

Keyword(s):

Constructive Logic

Download Full-text

Lazy Evaluation

Practical Foundations for Programming Languages ◽

10.1017/cbo9781139342131.038 ◽

2013 ◽

pp. 307-315

Author(s):

Robert Harper

Keyword(s):

Lazy Evaluation

Download Full-text

Sum Types

Practical Foundations for Programming Languages ◽

10.1017/cbo9781139342131.013 ◽

2013 ◽

pp. 86-92

Author(s):

Robert Harper

Download Full-text