Crossmark

Polite Combination of Algebraic Datatypes

Crossref DOI link: https://doi.org/10.1007/s10817-022-09625-3

Published Online: 2022-05-05

Published Print: 2022-08

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Sheng, Ying

Zohar, Yoni

Ringeissen, Christophe

Lange, Jane

Fontaine, Pascal

Barrett, Clark
License Information

Text and Data Mining valid from 2022-05-05

Version of Record valid from 2022-05-05
More Information

Article History

Received: 29 April 2021

Accepted: 22 February 2022

First Online: 5 May 2022