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

2013 ◽  
pp. 231-238
Author(s):  
Robert Harper

Equational Reasoning for PCF

2013 ◽  
pp. 424-432
Author(s):  
Robert Harper
Keyword(s):  
Equational Reasoning

Product Types

2013 ◽  
pp. 81-85
Author(s):  
Robert Harper

Inductive Definitions

2013 ◽  
pp. 11-19
Author(s):  
Robert Harper
Keyword(s):  
Inductive Definitions

Nested Parallelism

2013 ◽  
pp. 325-336
Author(s):  
Robert Harper
Keyword(s):  
Nested Parallelism

Syntactic Objects

2013 ◽  
pp. 3-10
Author(s):  
Robert Harper

Abstract Types

2013 ◽  
pp. 162-169
Author(s):  
Robert Harper
Keyword(s):  
Abstract Types

Constructive Logic

2013 ◽  
pp. 241-248
Author(s):  
Robert Harper
Keyword(s):  
Constructive Logic

Lazy Evaluation

2013 ◽  
pp. 307-315
Author(s):  
Robert Harper
Keyword(s):  
Lazy Evaluation

Sum Types

2013 ◽  
pp. 86-92
Author(s):  
Robert Harper
Load More ...
Sign in / Sign up

Export Citation Format

Share Document