Pub Date : 2012-05-23DOI: 10.1007/978-3-642-29822-6_10
Ignacio Castiñeiras, F. Sáenz-Pérez
{"title":"Improving the Performance of FD Constraint Solving in a CFLP System","authors":"Ignacio Castiñeiras, F. Sáenz-Pérez","doi":"10.1007/978-3-642-29822-6_10","DOIUrl":"https://doi.org/10.1007/978-3-642-29822-6_10","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133643450","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 : 2012-05-23DOI: 10.1007/978-3-642-29822-6_1
M. Codish
{"title":"Programming with Boolean Satisfaction","authors":"M. Codish","doi":"10.1007/978-3-642-29822-6_1","DOIUrl":"https://doi.org/10.1007/978-3-642-29822-6_1","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125661229","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 : 2012-05-23DOI: 10.1007/978-3-642-29822-6_18
Akimasa Morihata
{"title":"Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems","authors":"Akimasa Morihata","doi":"10.1007/978-3-642-29822-6_18","DOIUrl":"https://doi.org/10.1007/978-3-642-29822-6_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":"2012-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114179950","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 : 2012-05-23DOI: 10.1007/978-3-642-29822-6_25
Tarmo Uustalu
{"title":"Explicit Binds: Effortless Efficiency with and without Trees","authors":"Tarmo Uustalu","doi":"10.1007/978-3-642-29822-6_25","DOIUrl":"https://doi.org/10.1007/978-3-642-29822-6_25","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"237 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123765100","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 : 2012-05-23DOI: 10.1007/978-3-642-29822-6_8
G. Bouma
{"title":"Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl)","authors":"G. Bouma","doi":"10.1007/978-3-642-29822-6_8","DOIUrl":"https://doi.org/10.1007/978-3-642-29822-6_8","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128828611","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 : 2012-05-23DOI: 10.1007/978-3-642-29822-6_23
N. Toronto, J. McCarthy
{"title":"Computing in Cantor's Paradise with λ ZFC","authors":"N. Toronto, J. McCarthy","doi":"10.1007/978-3-642-29822-6_23","DOIUrl":"https://doi.org/10.1007/978-3-642-29822-6_23","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132038674","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 : 2012-05-23DOI: 10.1007/978-3-642-29822-6_2
Tachio Terauchi
{"title":"Automated Verification of Higher-Order Functional Programs","authors":"Tachio Terauchi","doi":"10.1007/978-3-642-29822-6_2","DOIUrl":"https://doi.org/10.1007/978-3-642-29822-6_2","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114110167","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 : 2012-05-23DOI: 10.1007/978-3-642-29822-6_4
Beniamino Accattoli, Luca Paolini
{"title":"Call-by-Value Solvability, Revisited","authors":"Beniamino Accattoli, Luca Paolini","doi":"10.1007/978-3-642-29822-6_4","DOIUrl":"https://doi.org/10.1007/978-3-642-29822-6_4","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"307 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116404870","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 : 2012-05-23DOI: 10.1007/978-3-642-29822-6_3
Stephanie Weirich
{"title":"Dependently-Typed Programming in GHC","authors":"Stephanie Weirich","doi":"10.1007/978-3-642-29822-6_3","DOIUrl":"https://doi.org/10.1007/978-3-642-29822-6_3","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125683328","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 : 2012-05-23DOI: 10.1007/978-3-642-29822-6_6
Z. M. Ariola, P. Downen, Hugo Herbelin, Keiko Nakata, Alexis Saurin
{"title":"Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts","authors":"Z. M. Ariola, P. Downen, Hugo Herbelin, Keiko Nakata, Alexis Saurin","doi":"10.1007/978-3-642-29822-6_6","DOIUrl":"https://doi.org/10.1007/978-3-642-29822-6_6","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122585739","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
扫码关注我们
求助内容：
应助结果提醒方式：