↓ Skip to main content
What is this page? Embed badge

Programming Languages and Systems

Overview of attention for book
Cover of 'Programming Languages and Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 An Algebraic Theory for Shared-State Concurrency
  3. Altmetric Badge
    Chapter 2 Decoupling the Ascending and Descending Phases in Abstract Interpretation
  4. Altmetric Badge
    Chapter 3 Inferring Region Types via an Abstract Notion of Environment Transformation
  5. Altmetric Badge
    Chapter 4 RHLE: Modular Deductive Verification of Relational $$\forall \exists $$ ∀ ∃ Properties
  6. Altmetric Badge
    Chapter 5 Automated Temporal Verification for Algebraic Effects
  7. Altmetric Badge
    Chapter 6 Model-Based Fault Classification for Automotive Software
  8. Altmetric Badge
    Chapter 7 Characterizing Functions Mappable over GADTs
  9. Altmetric Badge
    Chapter 8 Applicative Intersection Types
  10. Altmetric Badge
    Chapter 9 A Calculus with Recursive Types, Record Concatenation and Subtyping
  11. Altmetric Badge
    Chapter 10 Novice Type Error Diagnosis with Natural Language Models
Attention for Chapter 9: A Calculus with Recursive Types, Record Concatenation and Subtyping
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
A Calculus with Recursive Types, Record Concatenation and Subtyping
Chapter number 9
Book title
Programming Languages and Systems
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-21037-2_9
Book ISBNs
978-3-03-121036-5, 978-3-03-121037-2
Authors

Zhou, Yaoda, Oliveira, Bruno C. d. S., Fan, Andong

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

This page is provided by Altmetric.