Pub Date : 2020-09-14DOI: 10.1007/978-3-030-59025-3_5
O. Kiselyov, Keigo Imai
{"title":"Session Types Without Sophistry - System Description","authors":"O. Kiselyov, Keigo Imai","doi":"10.1007/978-3-030-59025-3_5","DOIUrl":"https://doi.org/10.1007/978-3-030-59025-3_5","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124208672","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-09-14DOI: 10.1007/978-3-030-59025-3_1
M. Hamana
{"title":"Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL","authors":"M. Hamana","doi":"10.1007/978-3-030-59025-3_1","DOIUrl":"https://doi.org/10.1007/978-3-030-59025-3_1","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126888473","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-04-23DOI: 10.1007/978-3-030-59025-3_4
Emmanuel Hainry, Damiano Mazza, Romain Péchoux
{"title":"Polynomial Time over the Reals with Parsimony","authors":"Emmanuel Hainry, Damiano Mazza, Romain Péchoux","doi":"10.1007/978-3-030-59025-3_4","DOIUrl":"https://doi.org/10.1007/978-3-030-59025-3_4","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124407247","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-11-22DOI: 10.1007/978-3-319-90686-7_14
G. Moser, Manuel Schneckenreither
{"title":"Automated Amortised Resource Analysis for Term Rewrite Systems","authors":"G. Moser, Manuel Schneckenreither","doi":"10.1007/978-3-319-90686-7_14","DOIUrl":"https://doi.org/10.1007/978-3-319-90686-7_14","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122475658","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-05-09DOI: 10.1007/978-3-319-90686-7_10
S. Antoy, M. Hanus
{"title":"Equivalence Checking of Non-deterministic Operations","authors":"S. Antoy, M. Hanus","doi":"10.1007/978-3-319-90686-7_10","DOIUrl":"https://doi.org/10.1007/978-3-319-90686-7_10","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"15 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122450727","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-05-09DOI: 10.1007/978-3-319-90686-7_4
Kazuhiko Sakaguchi
{"title":"Program Extraction for Mutable Arrays","authors":"Kazuhiko Sakaguchi","doi":"10.1007/978-3-319-90686-7_4","DOIUrl":"https://doi.org/10.1007/978-3-319-90686-7_4","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131697385","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-05-09DOI: 10.1007/978-3-319-90686-7_16
Ivan Lanese, Naoki Nishida, Adrián Palacios, G. Vidal
{"title":"CauDEr: A Causal-Consistent Reversible Debugger for Erlang","authors":"Ivan Lanese, Naoki Nishida, Adrián Palacios, G. Vidal","doi":"10.1007/978-3-319-90686-7_16","DOIUrl":"https://doi.org/10.1007/978-3-319-90686-7_16","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"9 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120824143","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-05-09DOI: 10.1007/978-3-319-90686-7_7
M. Hamana
{"title":"Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation","authors":"M. Hamana","doi":"10.1007/978-3-319-90686-7_7","DOIUrl":"https://doi.org/10.1007/978-3-319-90686-7_7","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128315280","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-05-09DOI: 10.1007/978-3-319-90686-7_1
Masayuki Mizuno, Eijiro Sumii
{"title":"Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name","authors":"Masayuki Mizuno, Eijiro Sumii","doi":"10.1007/978-3-319-90686-7_1","DOIUrl":"https://doi.org/10.1007/978-3-319-90686-7_1","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122630525","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-05-09DOI: 10.1007/978-3-319-90686-7_3
O. Kiselyov
{"title":"lambda λ to SKI, Semantically - Declarative Pearl","authors":"O. Kiselyov","doi":"10.1007/978-3-319-90686-7_3","DOIUrl":"https://doi.org/10.1007/978-3-319-90686-7_3","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131951912","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：