↓ Skip to main content

Functional and Logic Programming

Overview of attention for book
Attention for Chapter: An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming
Altmetric Badge

Mentioned by

twitter
10 X users
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
An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming
Book title
Functional and Logic Programming
Published by
Springer, Singapore, January 2024
DOI 10.1007/978-981-97-2300-3_13
Book ISBNs
978-9-81-972299-0, 978-9-81-972300-3
Authors

Suwa, Takashi, Igarashi, Atsushi

X Demographics

X Demographics

The data shown below were collected from the profiles of 10 X users who shared this research output. Click here to find out more about how the information was compiled.
As of 1 July 2024, you may notice a temporary increase in the numbers of X profiles with Unknown location. Click here to learn more.