Functional and Logic Programming
Springer Nature Singapore
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 |
Country | Count | As % |
---|---|---|
Japan | 2 | 20% |
Unknown | 8 | 80% |
Type | Count | As % |
---|---|---|
Members of the public | 7 | 70% |
Scientists | 3 | 30% |