ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
29
views
0
references
Top references
cited by
2
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,023
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Programming Languages and Systems
other
Editor(s):
Giuseppe Castagna
Publication date
(Print):
2009
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
oa repository (via OAI-PMH doi match)
Powered by
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
Smart Contracts Programming Languages
Author and book information
Book
ISBN (Print):
978-3-642-00589-3
ISBN (Electronic):
978-3-642-00590-9
Publication date (Print):
2009
DOI:
10.1007/978-3-642-00590-9
SO-VID:
295b0040-7b89-4863-8c0c-944e692a6268
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Well-Typed Programs Can’t Be Blamed
pp. 17
Exploring the Design Space of Higher-Order Casts
pp. 32
Practical Variable-Arity Polymorphism
pp. 47
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming
pp. 62
Using Category Theory to Design Programming Languages
pp. 64
Modular Monad Transformers
pp. 80
Handlers of Algebraic Effects
pp. 95
Is Structural Subtyping Useful? An Empirical Study
pp. 112
An Interval-Based Inference of Variant Parametric Types
pp. 128
Existential Quantification for Variant Ownership
pp. 143
Formalising and Verifying Reference Attribute Grammars in Coq
pp. 160
Verified, Executable Parsing
pp. 175
An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees
pp. 190
Amortised Memory Analysis Using the Depth of Data Structures
pp. 205
The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design?
pp. 207
All Secrets Great and Small
pp. 222
Type-Based Automated Verification of Authenticity in Cryptographic Protocols
pp. 237
A Theory of Non-monotone Memory (Or: Contexts for free)
pp. 252
Abstraction for Concurrent Objects
pp. 267
Minimization Algorithm for Symbolic Bisimilarity
pp. 285
Conversation Types
pp. 301
Abstract Processes in Orchestration Languages
pp. 316
Global Principal Typing in Partially Commutative Asynchronous Sessions
pp. 333
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
pp. 348
Automatic Parallelization with Separation Logic
pp. 363
Deny-Guarantee Reasoning
pp. 378
A Basis for Verifying Multi-threaded Programs
pp. 394
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
Similar content
3,023
Development of 5-day hikikomori intervention program for family members: A single-arm pilot trial
Authors:
Hiroaki Kubo
,
Hiromi Urata
,
Motohiro Sakai
…
LLMChain: Blockchain-based Reputation System for Sharing and Evaluating Large Language Models
Authors:
Mouhamed Amine Bouchiha
,
Quentin Telnoff
,
Souhail Bakkali
…
Beyond Natural Language: LLMs Leveraging Alternative Formats for Enhanced Reasoning and Communication
Authors:
Weize Chen
,
Chenfei Yuan
,
Jiarui Yuan
…
See all similar
Cited by
2
Static Contract Simplification
Authors:
Matthias S. Keil
,
Peter Thiemann
Eff Directly in OCaml
Authors:
Oleg Kiselyov
,
KC Sivaramakrishnan
See all cited by