callback( { "result":{ "query":":facetid:toc:\"db/conf/icfp/icfp2002.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"86.96" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"28", "@dc":"28", "@oc":"28", "@id":"43401777", "text":":facetid:toc:db/conf/icfp/icfp2002.bht" } }, "hits":{ "@total":"28", "@computed":"28", "@sent":"28", "@first":"0", "hit":[{ "@score":"1", "@id":"6282464", "info":{"authors":{"author":[{"@pid":"81/6050","text":"Arthur I. Baars"},{"@pid":"s/SDSwierstra","text":"S. Doaitse Swierstra"}]},"title":"Typing dynamic typing.","venue":"ICFP","pages":"157-166","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/BaarsS02","doi":"10.1145/581478.581494","ee":"https://doi.org/10.1145/581478.581494","url":"https://dblp.org/rec/conf/icfp/BaarsS02"}, "url":"URL#6282464" }, { "@score":"1", "@id":"6282465", "info":{"authors":{"author":{"@pid":"16/2371","text":"Magnus Carlsson"}},"title":"Monads for incremental computing.","venue":"ICFP","pages":"26-35","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/Carlsson02","doi":"10.1145/581478.581482","ee":"https://doi.org/10.1145/581478.581482","url":"https://dblp.org/rec/conf/icfp/Carlsson02"}, "url":"URL#6282465" }, { "@score":"1", "@id":"6282466", "info":{"authors":{"author":[{"@pid":"82/5193","text":"Karl Crary"},{"@pid":"74/5187","text":"Joseph Vanderwaart"}]},"title":"An expressive, scalable type theory for certified code.","venue":"ICFP","pages":"191-205","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/CraryV02","doi":"10.1145/581478.581497","ee":"https://doi.org/10.1145/581478.581497","url":"https://dblp.org/rec/conf/icfp/CraryV02"}, "url":"URL#6282466" }, { "@score":"1", "@id":"6282467", "info":{"authors":{"author":[{"@pid":"d/OlivierDanvy","text":"Olivier Danvy"},{"@pid":"g/MayerGoldberg","text":"Mayer Goldberg"}]},"title":"There and back again.","venue":"ICFP","pages":"230-234","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/DanvyG02","doi":"10.1145/581478.581500","ee":"https://doi.org/10.1145/581478.581500","url":"https://dblp.org/rec/conf/icfp/DanvyG02"}, "url":"URL#6282467" }, { "@score":"1", "@id":"6282468", "info":{"authors":{"author":[{"@pid":"42/5635","text":"Danny Dubé"},{"@pid":"f/MarcFeeley","text":"Marc Feeley"}]},"title":"A demand-driven adaptive type analysis.","venue":"ICFP","pages":"84-97","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/DubeF02","doi":"10.1145/581478.581487","ee":"https://doi.org/10.1145/581478.581487","url":"https://dblp.org/rec/conf/icfp/DubeF02"}, "url":"URL#6282468" }, { "@score":"1", "@id":"6282469", "info":{"authors":{"author":[{"@pid":"f/RBFindler","text":"Robert Bruce Findler"},{"@pid":"f/MFelleisen","text":"Matthias Felleisen"}]},"title":"Contracts for higher-order functions.","venue":"ICFP","pages":"48-59","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/FindlerF02","doi":"10.1145/581478.581484","ee":"https://doi.org/10.1145/581478.581484","url":"https://dblp.org/rec/conf/icfp/FindlerF02"}, "url":"URL#6282469" }, { "@score":"1", "@id":"6282470", "info":{"authors":{"author":{"@pid":"f/MatthewFlatt","text":"Matthew Flatt"}},"title":"Composable and compilable macros: : you want it when?","venue":"ICFP","pages":"72-83","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/Flatt02","doi":"10.1145/581478.581486","ee":"https://doi.org/10.1145/581478.581486","url":"https://dblp.org/rec/conf/icfp/Flatt02"}, "url":"URL#6282470" }, { "@score":"1", "@id":"6282471", "info":{"authors":{"author":{"@pid":"f/BryanFord","text":"Bryan Ford"}},"title":"Packrat parsing: : simple, powerful, lazy, linear time, functional pearl.","venue":"ICFP","pages":"36-47","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/Ford02","doi":"10.1145/581478.581483","ee":"https://doi.org/10.1145/581478.581483","url":"https://dblp.org/rec/conf/icfp/Ford02"}, "url":"URL#6282471" }, { "@score":"1", "@id":"6282472", "info":{"authors":{"author":[{"@pid":"84/5978","text":"Martin Gasbichler"},{"@pid":"s/MichaelSperber","text":"Michael Sperber"}]},"title":"Final shift for call/cc: : direct implementation of shift and reset.","venue":"ICFP","pages":"271-282","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/GasbichlerS02","doi":"10.1145/581478.581504","ee":"https://doi.org/10.1145/581478.581504","url":"https://dblp.org/rec/conf/icfp/GasbichlerS02"}, "url":"URL#6282472" }, { "@score":"1", "@id":"6282473", "info":{"authors":{"author":[{"@pid":"26/3576","text":"Kevin Glynn"},{"@pid":"s/PeterJStuckey","text":"Peter J. Stuckey"},{"@pid":"94/756","text":"Martin Sulzmann"},{"@pid":"s/HaraldSondergaard","text":"Harald Søndergaard"}]},"title":"Exception analysis for non-strict languages.","venue":"ICFP","pages":"98-109","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/GlynnSSS02","doi":"10.1145/581478.581488","ee":"https://doi.org/10.1145/581478.581488","url":"https://dblp.org/rec/conf/icfp/GlynnSSS02"}, "url":"URL#6282473" }, { "@score":"1", "@id":"6282474", "info":{"authors":{"author":[{"@pid":"28/2414","text":"Benjamin Grégoire"},{"@pid":"03/352","text":"Xavier Leroy"}]},"title":"A compiled implementation of strong reduction.","venue":"ICFP","pages":"235-246","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/GregoireL02","doi":"10.1145/581478.581501","ee":"https://doi.org/10.1145/581478.581501","url":"https://dblp.org/rec/conf/icfp/GregoireL02"}, "url":"URL#6282474" }, { "@score":"1", "@id":"6282475", "info":{"authors":{"author":{"@pid":"h/KeithHanna","text":"Keith Hanna"}},"title":"Interactive visual functional programming.","venue":"ICFP","pages":"145-156","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/Hanna02","doi":"10.1145/581478.581493","ee":"https://doi.org/10.1145/581478.581493","url":"https://dblp.org/rec/conf/icfp/Hanna02"}, "url":"URL#6282475" }, { "@score":"1", "@id":"6282476", "info":{"authors":{"author":[{"@pid":"88/5111","text":"Lars Thomas Hansen"},{"@pid":"23/2569","text":"William D. Clinger"}]},"title":"An experimental study of renewal-older-first garbage collection.","venue":"ICFP","pages":"247-258","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/HansenC02","doi":"10.1145/581478.581502","ee":"https://doi.org/10.1145/581478.581502","url":"https://dblp.org/rec/conf/icfp/HansenC02"}, "url":"URL#6282476" }, { "@score":"1", "@id":"6282477", "info":{"authors":{"author":{"@pid":"h/RalfHinze","text":"Ralf Hinze"}},"title":"Bootstrapping one-sided flexible arrays.","venue":"ICFP","pages":"2-13","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/Hinze02","doi":"10.1145/581478.581480","ee":"https://doi.org/10.1145/581478.581480","url":"https://dblp.org/rec/conf/icfp/Hinze02"}, "url":"URL#6282477" }, { "@score":"1", "@id":"6282478", "info":{"authors":{"author":[{"@pid":"j/NeilDJones","text":"Neil D. Jones"},{"@pid":"39/6066","text":"Arne J. Glenstrup"}]},"title":"Program generation, termination, and binding-time analysis.","venue":"ICFP","pages":"283","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/JonesG02","doi":"10.1145/581478.581505","ee":"https://doi.org/10.1145/581478.581505","url":"https://dblp.org/rec/conf/icfp/JonesG02"}, "url":"URL#6282478" }, { "@score":"1", "@id":"6282479", "info":{"authors":{"author":[{"@pid":"l/CLuth","text":"Christoph Lüth"},{"@pid":"g/NeilGhani","text":"Neil Ghani"}]},"title":"Composing monads using coproducts.","venue":"ICFP","pages":"133-144","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/LuthG02","doi":"10.1145/581478.581492","ee":"https://doi.org/10.1145/581478.581492","url":"https://dblp.org/rec/conf/icfp/LuthG02"}, "url":"URL#6282479" }, { "@score":"1", "@id":"6282480", "info":{"authors":{"author":[{"@pid":"93/4679","text":"Todd D. Millstein"},{"@pid":"44/798","text":"Colin Bleckner"},{"@pid":"c/CraigChambers","text":"Craig Chambers"}]},"title":"Modular typechecking for hierarchically extensible datatypes and functions.","venue":"ICFP","pages":"110-122","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/MillsteinBC02","doi":"10.1145/581478.581489","ee":"https://doi.org/10.1145/581478.581489","url":"https://dblp.org/rec/conf/icfp/MillsteinBC02"}, "url":"URL#6282480" }, { "@score":"1", "@id":"6282481", "info":{"authors":{"author":{"@pid":"m/JStrotherMoore","text":"J Strother Moore"}},"title":"Functional formal methods.","venue":"ICFP","pages":"123","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/Moore02","doi":"10.1145/581478.581490","ee":"https://doi.org/10.1145/581478.581490","url":"https://dblp.org/rec/conf/icfp/Moore02"}, "url":"URL#6282481" }, { "@score":"1", "@id":"6282482", "info":{"authors":{"author":{"@pid":"54/1970","text":"Brad A. Myers"}},"title":"Towards more natural functional programming languages.","venue":"ICFP","pages":"1","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/Myers02","doi":"10.1145/581478.581479","ee":"https://doi.org/10.1145/581478.581479","url":"https://dblp.org/rec/conf/icfp/Myers02"}, "url":"URL#6282482" }, { "@score":"1", "@id":"6282483", "info":{"authors":{"author":{"@pid":"70/3373","text":"Aleksandar Nanevski"}},"title":"Meta-programming with names and necessity.","venue":"ICFP","pages":"206-217","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/Nanevski02","doi":"10.1145/581478.581498","ee":"https://doi.org/10.1145/581478.581498","url":"https://dblp.org/rec/conf/icfp/Nanevski02"}, "url":"URL#6282483" }, { "@score":"1", "@id":"6282484", "info":{"authors":{"author":[{"@pid":"n/MatthiasNeubauer","text":"Matthias Neubauer"},{"@pid":"t/PeterThiemann","text":"Peter Thiemann 0001"}]},"title":"Type classes with more higher-order polymorphism.","venue":"ICFP","pages":"179-190","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/NeubauerT02","doi":"10.1145/581478.581496","ee":"https://doi.org/10.1145/581478.581496","url":"https://dblp.org/rec/conf/icfp/NeubauerT02"}, "url":"URL#6282484" }, { "@score":"1", "@id":"6282485", "info":{"authors":{"author":[{"@pid":"o/AtsushiOhori","text":"Atsushi Ohori"},{"@pid":"21/1332","text":"Kiyoshi Yamatodani"}]},"title":"An interoperable calculus for external object access.","venue":"ICFP","pages":"60-71","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/OhoriY02","doi":"10.1145/581478.581485","ee":"https://doi.org/10.1145/581478.581485","url":"https://dblp.org/rec/conf/icfp/OhoriY02"}, "url":"URL#6282485" }, { "@score":"1", "@id":"6282486", "info":{"authors":{"author":[{"@pid":"43/1749","text":"Emir Pasalic"},{"@pid":"53/5525","text":"Walid Taha"},{"@pid":"s/TimSheard","text":"Tim Sheard"}]},"title":"Tagless staged interpreters for typed languages.","venue":"ICFP","pages":"218-229","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/PasalicTS02","doi":"10.1145/581478.581499","ee":"https://doi.org/10.1145/581478.581499","url":"https://dblp.org/rec/conf/icfp/PasalicTS02"}, "url":"URL#6282486" }, { "@score":"1", "@id":"6282487", "info":{"authors":{"author":[{"@pid":"97/2552","text":"Bernard P. Serpette"},{"@pid":"s/ManuelSerrano","text":"Manuel Serrano"}]},"title":"Compiling scheme to JVM bytecode: : a performance study.","venue":"ICFP","pages":"259-270","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/SerpetteS02","doi":"10.1145/581478.581503","ee":"https://doi.org/10.1145/581478.581503","url":"https://dblp.org/rec/conf/icfp/SerpetteS02"}, "url":"URL#6282487" }, { "@score":"1", "@id":"6282488", "info":{"authors":{"author":[{"@pid":"s/PeterJStuckey","text":"Peter J. Stuckey"},{"@pid":"94/756","text":"Martin Sulzmann"}]},"title":"A theory of overloading.","venue":"ICFP","pages":"167-178","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/StuckeyS02","doi":"10.1145/581478.581495","ee":"https://doi.org/10.1145/581478.581495","url":"https://dblp.org/rec/conf/icfp/StuckeyS02"}, "url":"URL#6282488" }, { "@score":"1", "@id":"6282489", "info":{"authors":{"author":{"@pid":"85/6934","text":"Josef Svenningsson"}},"title":"Shortcut fusion for accumulating parameters & zip-like functions.","venue":"ICFP","pages":"124-132","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/Svenningsson02","doi":"10.1145/581478.581491","ee":"https://doi.org/10.1145/581478.581491","url":"https://dblp.org/rec/conf/icfp/Svenningsson02"}, "url":"URL#6282489" }, { "@score":"1", "@id":"6282490", "info":{"authors":{"author":{"@pid":"v/JanisVoigtlander","text":"Janis Voigtländer"}},"title":"Concatenate, reverse and map vanish for free.","venue":"ICFP","pages":"14-25","year":"2002","type":"Conference and Workshop Papers","access":"closed","key":"conf/icfp/Voigtlander02","doi":"10.1145/581478.581481","ee":"https://doi.org/10.1145/581478.581481","url":"https://dblp.org/rec/conf/icfp/Voigtlander02"}, "url":"URL#6282490" }, { "@score":"1", "@id":"6312968", "info":{"authors":{"author":[{"@pid":"w/MitchellWand","text":"Mitchell Wand"},{"@pid":"j/SimonLPeytonJones","text":"Simon L. Peyton Jones"}]},"title":"Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002.","venue":"ICFP","publisher":"ACM","year":"2002","type":"Editorship","key":"conf/icfp/2002","doi":"10.1145/581478","ee":"https://doi.org/10.1145/581478","url":"https://dblp.org/rec/conf/icfp/2002"}, "url":"URL#6312968" } ] } } } )