callback( { "result":{ "query":":facetid:toc:\"db/series/eptcs/eptcs153.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"74.72" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"9", "@dc":"9", "@oc":"9", "@id":"43490922", "text":":facetid:toc:db/series/eptcs/eptcs153.bht" } }, "hits":{ "@total":"9", "@computed":"9", "@sent":"9", "@first":"0", "hit":[{ "@score":"1", "@id":"3959635", "info":{"authors":{"author":[{"@pid":"99/2595-1","text":"Andreas Abel 0001"},{"@pid":"50/2270","text":"James Chapman 0001"}]},"title":"Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types.","venue":"MSFP","pages":"51-67","year":"2014","type":"Conference and Workshop Papers","access":"open","key":"journals/corr/AbelC14","doi":"10.4204/EPTCS.153.4","ee":"https://doi.org/10.4204/EPTCS.153.4","url":"https://dblp.org/rec/journals/corr/AbelC14"}, "url":"URL#3959635" }, { "@score":"1", "@id":"3959707", "info":{"authors":{"author":[{"@pid":"143/7306","text":"Paolo Capriotti"},{"@pid":"143/7092","text":"Ambrus Kaposi"}]},"title":"Free Applicative Functors.","venue":"MSFP","pages":"2-30","year":"2014","type":"Conference and Workshop Papers","access":"open","key":"journals/corr/CapriottiK14","doi":"10.4204/EPTCS.153.2","ee":"https://doi.org/10.4204/EPTCS.153.2","url":"https://dblp.org/rec/journals/corr/CapriottiK14"}, "url":"URL#3959707" }, { "@score":"1", "@id":"3959798", "info":{"authors":{"author":{"@pid":"140/7386","text":"Jules Hedges"}},"title":"Monad Transformers for Backtracking Search.","venue":"MSFP","pages":"31-50","year":"2014","type":"Conference and Workshop Papers","access":"open","key":"journals/corr/Hedges14a","doi":"10.4204/EPTCS.153.3","ee":"https://doi.org/10.4204/EPTCS.153.3","url":"https://dblp.org/rec/journals/corr/Hedges14a"}, "url":"URL#3959798" }, { "@score":"1", "@id":"3959804", "info":{"authors":{"author":[{"@pid":"h/MichaelWHicks","text":"Michael Hicks 0001"},{"@pid":"b/GavinMBierman","text":"Gavin M. Bierman"},{"@pid":"59/4070","text":"Nataliya Guts"},{"@pid":"l/DaanLeijen","text":"Daan Leijen"},{"@pid":"11/5568","text":"Nikhil Swamy"}]},"title":"Polymonadic Programming.","venue":"MSFP","pages":"79-99","year":"2014","type":"Conference and Workshop Papers","access":"open","key":"journals/corr/HicksBGLS14","doi":"10.4204/EPTCS.153.7","ee":"https://doi.org/10.4204/EPTCS.153.7","url":"https://dblp.org/rec/journals/corr/HicksBGLS14"}, "url":"URL#3959804" }, { "@score":"1", "@id":"3959821", "info":{"authors":{"author":{"@pid":"73/8356","text":"Wolfgang Jeltsch"}},"title":"Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion.","venue":"MSFP","pages":"127-142","year":"2014","type":"Conference and Workshop Papers","access":"open","key":"journals/corr/Jeltsch14","doi":"10.4204/EPTCS.153.9","ee":"https://doi.org/10.4204/EPTCS.153.9","url":"https://dblp.org/rec/journals/corr/Jeltsch14"}, "url":"URL#3959821" }, { "@score":"1", "@id":"3959854", "info":{"authors":{"author":{"@pid":"l/DaanLeijen","text":"Daan Leijen"}},"title":"Koka: Programming with Row Polymorphic Effect Types.","venue":"MSFP","pages":"100-126","year":"2014","type":"Conference and Workshop Papers","access":"open","key":"journals/corr/Leijen14","doi":"10.4204/EPTCS.153.8","ee":"https://doi.org/10.4204/EPTCS.153.8","url":"https://dblp.org/rec/journals/corr/Leijen14"}, "url":"URL#3959854" }, { "@score":"1", "@id":"3959948", "info":{"authors":{"author":[{"@pid":"27/1335","text":"Baltasar Trancón y Widemann"},{"@pid":"18/2409-1","text":"Markus Lepper 0001"}]},"title":"Foundations of Total Functional Data-Flow Programming.","venue":"MSFP","pages":"143-167","year":"2014","type":"Conference and Workshop Papers","access":"open","key":"journals/corr/Trancon-y-WidemannL14","doi":"10.4204/EPTCS.153.10","ee":"https://doi.org/10.4204/EPTCS.153.10","url":"https://dblp.org/rec/journals/corr/Trancon-y-WidemannL14"}, "url":"URL#3959948" }, { "@score":"1", "@id":"3959951", "info":{"authors":{"author":{"@pid":"u/TarmoUustalu","text":"Tarmo Uustalu"}},"title":"Coherence for Skew-Monoidal Categories.","venue":"MSFP","pages":"68-77","year":"2014","type":"Conference and Workshop Papers","access":"open","key":"journals/corr/Uustalu14","doi":"10.4204/EPTCS.153.5","ee":"https://doi.org/10.4204/EPTCS.153.5","url":"https://dblp.org/rec/journals/corr/Uustalu14"}, "url":"URL#3959951" }, { "@score":"1", "@id":"3965750", "info":{"authors":{"author":[{"@pid":"l/PaulBlainLevy","text":"Paul Blain Levy"},{"@pid":"92/1903","text":"Neel Krishnaswami"}]},"title":"Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014.","venue":["MSFP@ETAPS","EPTCS"],"volume":"153","year":"2014","type":"Editorship","access":"open","key":"journals/corr/LevyK14","doi":"10.4204/EPTCS.153","ee":"https://doi.org/10.4204/EPTCS.153","url":"https://dblp.org/rec/journals/corr/LevyK14"}, "url":"URL#3965750" } ] } } } )