ICE-Based Refinement Type Discovery for Higher-Order Functional Programs
Crossref DOI link: https://doi.org/10.1007/s10817-020-09571-y
Published Online: 2020-08-01
Published Print: 2020-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Champion, Adrien
Chiba, Tomoya
Kobayashi, Naoki http://orcid.org/0000-0002-0537-0604
Sato, Ryosuke
Funding for this research was provided by:
Japan Society for the Promotion of Science (JP15H05706, JP20H00577)
Text and Data Mining valid from 2020-08-01
Version of Record valid from 2020-08-01
Article History
Received: 18 June 2020
Accepted: 26 June 2020
First Online: 1 August 2020