Pub Date : 2014-06-04DOI: 10.1007/978-3-319-07151-0_7
Yuichiro Hanada, Atsushi Igarashi
{"title":"On Cross-Stage Persistence in Multi-Stage Programming","authors":"Yuichiro Hanada, Atsushi Igarashi","doi":"10.1007/978-3-319-07151-0_7","DOIUrl":"https://doi.org/10.1007/978-3-319-07151-0_7","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127300512","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 : 2014-06-04DOI: 10.1007/978-3-319-07151-0_3
Sheng Chen, Martin Erwig
{"title":"Guided Type Debugging","authors":"Sheng Chen, Martin Erwig","doi":"10.1007/978-3-319-07151-0_3","DOIUrl":"https://doi.org/10.1007/978-3-319-07151-0_3","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125276833","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 : 2014-06-04DOI: 10.1007/978-3-319-07151-0_20
A. Yamada, S. Winkler, Nao Hirokawa, A. Middeldorp
{"title":"AC-KBO Revisited","authors":"A. Yamada, S. Winkler, Nao Hirokawa, A. Middeldorp","doi":"10.1007/978-3-319-07151-0_20","DOIUrl":"https://doi.org/10.1007/978-3-319-07151-0_20","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116021119","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 : 2014-06-04DOI: 10.1007/978-3-319-07151-0_13
Martin Sulzmann, Kenny Zhuo Ming Lu
{"title":"POSIX Regular Expression Parsing with Derivatives","authors":"Martin Sulzmann, Kenny Zhuo Ming Lu","doi":"10.1007/978-3-319-07151-0_13","DOIUrl":"https://doi.org/10.1007/978-3-319-07151-0_13","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"240 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122699006","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 : 2014-06-04DOI: 10.1007/978-3-319-07151-0_19
P. Parys
{"title":"How Many Numbers Can a Lambda-Term Contain?","authors":"P. Parys","doi":"10.1007/978-3-319-07151-0_19","DOIUrl":"https://doi.org/10.1007/978-3-319-07151-0_19","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124055701","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 : 2014-06-04DOI: 10.1007/978-3-319-07151-0_17
J. Kriener, A. King
{"title":"Semantics for Prolog with Cut - Revisited","authors":"J. Kriener, A. King","doi":"10.1007/978-3-319-07151-0_17","DOIUrl":"https://doi.org/10.1007/978-3-319-07151-0_17","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132284672","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 : 2014-06-04DOI: 10.1007/978-3-319-07151-0_18
B. Dundua, Mário Florido, Temur Kutsia, M. Marin
{"title":"Constraint Logic Programming for Hedges: A Semantic Reconstruction","authors":"B. Dundua, Mário Florido, Temur Kutsia, M. Marin","doi":"10.1007/978-3-319-07151-0_18","DOIUrl":"https://doi.org/10.1007/978-3-319-07151-0_18","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130584481","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 : 2014-06-04DOI: 10.1007/978-3-319-07151-0_12
Akimasa Morihata, Masatoshi Koishi, A. Ohori
{"title":"Dynamic Programming via Thinning and Incrementalization","authors":"Akimasa Morihata, Masatoshi Koishi, A. Ohori","doi":"10.1007/978-3-319-07151-0_12","DOIUrl":"https://doi.org/10.1007/978-3-319-07151-0_12","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126910497","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 : 2014-06-04DOI: 10.1007/978-3-319-07151-0_16
Thibaut Balabonski, F. Pottier, Jonathan Protzenko
{"title":"Type Soundness and Race Freedom for Mezzo","authors":"Thibaut Balabonski, F. Pottier, Jonathan Protzenko","doi":"10.1007/978-3-319-07151-0_16","DOIUrl":"https://doi.org/10.1007/978-3-319-07151-0_16","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123454914","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 : 2014-06-04DOI: 10.1007/978-3-319-07151-0_6
O. Kiselyov
{"title":"The Design and Implementation of BER MetaOCaml - System Description","authors":"O. Kiselyov","doi":"10.1007/978-3-319-07151-0_6","DOIUrl":"https://doi.org/10.1007/978-3-319-07151-0_6","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128254604","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
扫码关注我们
求助内容：
应助结果提醒方式：