Pub Date : 2019-10-07DOI: 10.1007/978-3-030-33636-3_10
James Chapman, Roman Kireev, Chad Nester, P. Wadler
{"title":"System F in Agda, for Fun and Profit","authors":"James Chapman, Roman Kireev, Chad Nester, P. Wadler","doi":"10.1007/978-3-030-33636-3_10","DOIUrl":"https://doi.org/10.1007/978-3-030-33636-3_10","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130491667","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 : 2019-10-07DOI: 10.1007/978-3-030-33636-3_5
R. Hinze
{"title":"Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic Finite Automata","authors":"R. Hinze","doi":"10.1007/978-3-030-33636-3_5","DOIUrl":"https://doi.org/10.1007/978-3-030-33636-3_5","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133514360","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 : 2019-10-07DOI: 10.1007/978-3-030-33636-3_2
Koen Pauwels, T. Schrijvers, Shin-Cheng Mu
{"title":"Handling Local State with Global State","authors":"Koen Pauwels, T. Schrijvers, Shin-Cheng Mu","doi":"10.1007/978-3-030-33636-3_2","DOIUrl":"https://doi.org/10.1007/978-3-030-33636-3_2","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123827583","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 : 2019-10-07DOI: 10.1007/978-3-030-33636-3_9
Reynald Affeldt, David Nowak, Takafumi Saikawa
{"title":"A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning","authors":"Reynald Affeldt, David Nowak, Takafumi Saikawa","doi":"10.1007/978-3-030-33636-3_9","DOIUrl":"https://doi.org/10.1007/978-3-030-33636-3_9","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115157347","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 : 2019-10-07DOI: 10.1007/978-3-030-33636-3_1
Annabelle McIver
{"title":"Experiments in Information Flow Analysis","authors":"Annabelle McIver","doi":"10.1007/978-3-030-33636-3_1","DOIUrl":"https://doi.org/10.1007/978-3-030-33636-3_1","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127999754","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 : 2019-10-07DOI: 10.1007/978-3-030-33636-3_13
R. Kaarsgaard, Niccolò Veltri
{"title":"En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad","authors":"R. Kaarsgaard, Niccolò Veltri","doi":"10.1007/978-3-030-33636-3_13","DOIUrl":"https://doi.org/10.1007/978-3-030-33636-3_13","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125831431","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 : 2019-07-17DOI: 10.1007/978-3-030-33636-3_12
A. Kaposi, A. Kovács, Nicolai Kraus
{"title":"Shallow Embedding of Type Theory is Morally Correct","authors":"A. Kaposi, A. Kovács, Nicolai Kraus","doi":"10.1007/978-3-030-33636-3_12","DOIUrl":"https://doi.org/10.1007/978-3-030-33636-3_12","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123153667","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 : 2015-06-29DOI: 10.1007/978-3-319-19797-5_13
Conor McBride
{"title":"Turing-Completeness Totally Free","authors":"Conor McBride","doi":"10.1007/978-3-319-19797-5_13","DOIUrl":"https://doi.org/10.1007/978-3-319-19797-5_13","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123694177","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 : 2015-06-29DOI: 10.1007/978-3-319-19797-5_3
R. Berghammer, Walter Guttmann
{"title":"A Relation-Algebraic Approach to Multirelations and Predicate Transformers","authors":"R. Berghammer, Walter Guttmann","doi":"10.1007/978-3-319-19797-5_3","DOIUrl":"https://doi.org/10.1007/978-3-319-19797-5_3","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132585994","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 : 2015-06-29DOI: 10.1007/978-3-319-19797-5_4
Patrick Roocks
{"title":"Preference Decomposition and the Expressiveness of Preference Query Languages","authors":"Patrick Roocks","doi":"10.1007/978-3-319-19797-5_4","DOIUrl":"https://doi.org/10.1007/978-3-319-19797-5_4","url":null,"abstract":"","PeriodicalId":388034,"journal":{"name":"International Conference on Mathematics of Program Construction","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126568391","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
扫码关注我们
求助内容：
应助结果提醒方式：