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

Trends in Functional Programming

Overview of attention for book
Cover of 'Trends in Functional Programming'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Project Paper: Embedding Generic Monadic Transformer into Scala
  3. Altmetric Badge
    Chapter 2 Towards a Language for Defining Reusable Programming Language Components
  4. Altmetric Badge
    Chapter 3 Deep Embedding with Class
  5. Altmetric Badge
    Chapter 4 Understanding Algebraic Effect Handlers via Delimited Control Operators
  6. Altmetric Badge
    Chapter 5 Reducing the Power Consumption of IoT with Task-Oriented Programming
  7. Altmetric Badge
    Chapter 6 Semantic Equivalence of Task-Oriented Programs in TopHat
  8. Altmetric Badge
    Chapter 8 Sound and Complete Type Inference for Closed Effect Rows
  9. Altmetric Badge
    Chapter 9 Towards Efficient Adjustment of Effect Rows
Attention for Chapter 8: Sound and Complete Type Inference for Closed Effect Rows
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
Sound and Complete Type Inference for Closed Effect Rows
Chapter number 8
Book title
Trends in Functional Programming
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-21314-4_8
Book ISBNs
978-3-03-121313-7, 978-3-03-121314-4
Authors

Ikemori, Kazuki, Cong, Youyou, Masuhara, Hidehiko, Leijen, Daan

View on publisher site

This page is provided by Altmetric.