Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
104
views
0
references
Top references
cited by
0
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,021
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Practical Foundations for Programming Languages
Inductive and Coinductive Types
monograph
Author(s):
Robert Harper
Publication date
(Online):
2016
Publisher:
Cambridge University Press
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Author and book information
Book Chapter
Pages
: 125-134
DOI:
10.1017/CBO9781316576892.017
SO-VID:
fdaa561a-d712-42b6-a57b-39d121b1abad
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. xv
Preface to the Second Edition
pp. xvii
Preface to the First Edition
pp. 3
Abstract Syntax
pp. 12
Inductive Definitions
pp. 21
Hypothetical and General Judgments
pp. 33
Statics
pp. 39
Dynamics
pp. 48
Type Safety
pp. 53
Evaluation Dynamics
pp. 61
Function Definitions and Values
pp. 69
System T of Higher-Order Recursion
pp. 79
Product Types
pp. 85
Sum Types
pp. 95
Constructive Logic
pp. 104
Classical Logic
pp. 119
Generic Programming
pp. 125
Inductive and Coinductive Types
pp. 137
System F of Polymorphic Types
pp. 146
Abstract Types
pp. 154
Higher Kinds
pp. 161
System PCF of Recursive Functions
pp. 171
System FPC of Recursive Types
pp. 181
The Untyped λ-Calculus
pp. 189
Dynamic Typing
pp. 198
Hybrid Typing
pp. 207
Structural Subtyping
pp. 219
25 Behavioral Typing
pp. 235
Classes and Methods
pp. 245
Inheritance
pp. 253
Control Stacks
pp. 260
Exceptions
pp. 266
Continuations
pp. 277
Symbols
pp. 284
Fluid Binding
pp. 291
Dynamic Classification
pp. 301
Modernized Algol
pp. 313
Assignable References
pp. 323
Lazy Evaluation
pp. 335
Nested Parallelism
pp. 350
Futures and Speculations
pp. 359
Process Calculus
pp. 375
Concurrent Algol
pp. 385
Distributed Algol
pp. 395
Modularity and Linking
pp. 399
Singleton Kinds and Subkinding
pp. 409
Type Abstractions and Type Classes
pp. 422
Hierarchy and Parameterization
pp. 435
Equality for System T
pp. 445
Equality for System PCF
pp. 454
Parametricity
pp. 467
Process Equivalence
pp. 477
A Background on Finite Sets
pp. 479
References
Similar content
3,021
Coinduction in Control of Partially Observed Discrete-Event Systems
Authors:
Jan Komenda
Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances
Authors:
David Romero-Hernández
,
David de Frutos-Escrig
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While
Authors:
Keiko Nakata
,
Tarmo Uustalu
See all similar