callback( { "result":{ "query":":facetid:toc:\"db/conf/haskell/haskell2006.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"81.07" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"15", "@dc":"15", "@oc":"15", "@id":"43384394", "text":":facetid:toc:db/conf/haskell/haskell2006.bht" } }, "hits":{ "@total":"15", "@computed":"15", "@sent":"15", "@first":"0", "hit":[{ "@score":"1", "@id":"5730791", "info":{"authors":{"author":[{"@pid":"45/5675","text":"Philip Derrin"},{"@pid":"e/KElphinstone","text":"Kevin Elphinstone"},{"@pid":"74/2171","text":"Gerwin Klein"},{"@pid":"76/5940","text":"David A. Cock"},{"@pid":"21/1656","text":"Manuel M. T. Chakravarty"}]},"title":"Running the manual: an approach to high-assurance microkernel development.","venue":"Haskell","pages":"60-71","year":"2006","type":"Conference and Workshop Papers","access":"closed","key":"conf/haskell/DerrinEKCC06","doi":"10.1145/1159842.1159850","ee":"https://doi.org/10.1145/1159842.1159850","url":"https://dblp.org/rec/conf/haskell/DerrinEKCC06"}, "url":"URL#5730791" }, { "@score":"1", "@id":"5730792", "info":{"authors":{"author":[{"@pid":"25/4240","text":"Iavor S. Diatchki"},{"@pid":"j/MarkPJones","text":"Mark P. Jones"}]},"title":"Strongly typed memory areas programming systems-level data structures in a functional language.","venue":"Haskell","pages":"72-83","year":"2006","type":"Conference and Workshop Papers","access":"closed","key":"conf/haskell/DiatchkiJ06","doi":"10.1145/1159842.1159851","ee":"https://doi.org/10.1145/1159842.1159851","url":"https://dblp.org/rec/conf/haskell/DiatchkiJ06"}, "url":"URL#5730792" }, { "@score":"1", "@id":"5730793", "info":{"authors":{"author":{"@pid":"55/2190","text":"Frederik Eaton"}},"title":"Statically typed linear algebra in Haskell.","venue":"Haskell","pages":"120-121","year":"2006","type":"Conference and Workshop Papers","access":"closed","key":"conf/haskell/Eaton06","doi":"10.1145/1159842.1159859","ee":"https://doi.org/10.1145/1159842.1159859","url":"https://dblp.org/rec/conf/haskell/Eaton06"}, "url":"URL#5730793" }, { "@score":"1", "@id":"5730794", "info":{"authors":{"author":{"@pid":"69/6989","text":"Andy Gill"}},"title":"Introducing the Haskell equational reasoning assistant.","venue":"Haskell","pages":"108-109","year":"2006","type":"Conference and Workshop Papers","access":"closed","key":"conf/haskell/Gill06","doi":"10.1145/1159842.1159856","ee":"https://doi.org/10.1145/1159842.1159856","url":"https://dblp.org/rec/conf/haskell/Gill06"}, "url":"URL#5730794" }, { "@score":"1", "@id":"5730795", "info":{"authors":{"author":{"@pid":"62/5067","text":"David Himmelstrup"}},"title":"Interactive debugging with GHCi.","venue":"Haskell","pages":"107","year":"2006","type":"Conference and Workshop Papers","access":"closed","key":"conf/haskell/Himmelstrup06","doi":"10.1145/1159842.1159855","ee":"https://doi.org/10.1145/1159842.1159855","url":"https://dblp.org/rec/conf/haskell/Himmelstrup06"}, "url":"URL#5730795" }, { "@score":"1", "@id":"5730796", "info":{"authors":{"author":{"@pid":"23/6660","text":"Isaac Jones"}},"title":"Haskell' status report.","venue":"Haskell","pages":"122","year":"2006","type":"Conference and Workshop Papers","access":"closed","key":"conf/haskell/Jones06","doi":"10.1145/1159842.1159860","ee":"https://doi.org/10.1145/1159842.1159860","url":"https://dblp.org/rec/conf/haskell/Jones06"}, "url":"URL#5730796" }, { "@score":"1", "@id":"5730797", "info":{"authors":{"author":{"@pid":"93/5348","text":"Koji Kagawa"}},"title":"Polymorphic variants in Haskell.","venue":"Haskell","pages":"37-47","year":"2006","type":"Conference and Workshop Papers","access":"closed","key":"conf/haskell/Kagawa06","doi":"10.1145/1159842.1159848","ee":"https://doi.org/10.1145/1159842.1159848","url":"https://dblp.org/rec/conf/haskell/Kagawa06"}, "url":"URL#5730797" }, { "@score":"1", "@id":"5730798", "info":{"authors":{"author":{"@pid":"95/3279","text":"Eric Kow"}},"title":"GenI: natural language generation in Haskell.","venue":"Haskell","pages":"110-119","year":"2006","type":"Conference and Workshop Papers","access":"closed","key":"conf/haskell/Kow06","doi":"10.1145/1159842.1159858","ee":"https://doi.org/10.1145/1159842.1159858","url":"https://dblp.org/rec/conf/haskell/Kow06"}, "url":"URL#5730798" }, { "@score":"1", "@id":"5730799", "info":{"authors":{"author":{"@pid":"52/3787","text":"Simon Marlow"}},"title":"An extensible dynamically-typed hierarchy of exceptions.","venue":"Haskell","pages":"96-106","year":"2006","type":"Conference and Workshop Papers","access":"closed","key":"conf/haskell/Marlow06","doi":"10.1145/1159842.1159854","ee":"https://doi.org/10.1145/1159842.1159854","url":"https://dblp.org/rec/conf/haskell/Marlow06"}, "url":"URL#5730799" }, { "@score":"1", "@id":"5730800", "info":{"authors":{"author":[{"@pid":"31/4503","text":"Deling Ren"},{"@pid":"e/MErwig","text":"Martin Erwig"}]},"title":"A generic recursion toolbox for Haskell or: scrap your boilerplate systematically.","venue":"Haskell","pages":"13-24","year":"2006","type":"Conference and Workshop Papers","access":"closed","key":"conf/haskell/RenE06","doi":"10.1145/1159842.1159845","ee":"https://doi.org/10.1145/1159842.1159845","url":"https://dblp.org/rec/conf/haskell/RenE06"}, "url":"URL#5730800" }, { "@score":"1", "@id":"5730801", "info":{"authors":{"author":[{"@pid":"92/1378-1","text":"Alexandra Silva 0001"},{"@pid":"40/5235","text":"Joost Visser 0001"}]},"title":"Strong types for relational databases.","venue":"Haskell","pages":"25-36","year":"2006","type":"Conference and Workshop Papers","access":"closed","key":"conf/haskell/SilvaV06","doi":"10.1145/1159842.1159846","ee":"https://doi.org/10.1145/1159842.1159846","url":"https://dblp.org/rec/conf/haskell/SilvaV06"}, "url":"URL#5730801" }, { "@score":"1", "@id":"5730802", "info":{"authors":{"author":{"@pid":"t/PeterThiemann","text":"Peter Thiemann 0001"}},"title":"User-level transactional programming in Haskell.","venue":"Haskell","pages":"84-95","year":"2006","type":"Conference and Workshop Papers","access":"closed","key":"conf/haskell/Thiemann06","doi":"10.1145/1159842.1159853","ee":"https://doi.org/10.1145/1159842.1159853","url":"https://dblp.org/rec/conf/haskell/Thiemann06"}, "url":"URL#5730802" }, { "@score":"1", "@id":"5730803", "info":{"authors":{"author":{"@pid":"w/StephanieWeirich","text":"Stephanie Weirich"}},"title":"RepLib: a library for derivable type classes.","venue":"Haskell","pages":"1-12","year":"2006","type":"Conference and Workshop Papers","access":"closed","key":"conf/haskell/Weirich06","doi":"10.1145/1159842.1159844","ee":"https://doi.org/10.1145/1159842.1159844","url":"https://dblp.org/rec/conf/haskell/Weirich06"}, "url":"URL#5730803" }, { "@score":"1", "@id":"5730804", "info":{"authors":{"author":{"@pid":"x/DanaNXu","text":"Dana N. Xu"}},"title":"Extended static checking for haskell.","venue":"Haskell","pages":"48-59","year":"2006","type":"Conference and Workshop Papers","access":"closed","key":"conf/haskell/Xu06","doi":"10.1145/1159842.1159849","ee":"https://doi.org/10.1145/1159842.1159849","url":"https://dblp.org/rec/conf/haskell/Xu06"}, "url":"URL#5730804" }, { "@score":"1", "@id":"5799244", "info":{"authors":{"author":{"@pid":"46/2165","text":"Andres Löh"}},"title":"Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006","venue":"Haskell","publisher":"ACM","year":"2006","type":"Editorship","key":"conf/haskell/2006","doi":"10.1145/1159842","ee":"https://doi.org/10.1145/1159842","url":"https://dblp.org/rec/conf/haskell/2006"}, "url":"URL#5799244" } ] } } } )