callback( { "result":{ "query":":facetid:toc:\"db/journals/jfp/jfp1.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"73.38" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"18", "@dc":"18", "@oc":"18", "@id":"43467969", "text":":facetid:toc:db/journals/jfp/jfp1.bht" } }, "hits":{ "@total":"18", "@computed":"18", "@sent":"18", "@first":"0", "hit":[{ "@score":"1", "@id":"6905308", "info":{"authors":{"author":[{"@pid":"a/MartinAbadi","text":"Martín Abadi"},{"@pid":"c/LucaCardelli","text":"Luca Cardelli"},{"@pid":"26/1816","text":"Pierre-Louis Curien"},{"@pid":"97/6204","text":"Jean-Jacques Lévy"}]},"title":"Explicit Substitutions.","venue":"J. Funct. Program.","volume":"1","number":"4","pages":"375-416","year":"1991","type":"Journal Articles","access":"closed","key":"journals/jfp/AbadiCCL91","doi":"10.1017/S0956796800000186","ee":"https://doi.org/10.1017/S0956796800000186","url":"https://dblp.org/rec/journals/jfp/AbadiCCL91"}, "url":"URL#6905308" }, { "@score":"1", "@id":"6905309", "info":{"authors":{"author":{"@pid":"b/HendrikPieterBarendregt","text":"Henk Barendregt"}},"title":"Introduction to Generalized Type Systems.","venue":"J. Funct. Program.","volume":"1","number":"2","pages":"125-154","year":"1991","type":"Journal Articles","access":"closed","key":"journals/jfp/Barendregt91","doi":"10.1017/S0956796800020025","ee":"https://doi.org/10.1017/s0956796800020025","url":"https://dblp.org/rec/journals/jfp/Barendregt91"}, "url":"URL#6905309" }, { "@score":"1", "@id":"6905310", "info":{"authors":{"author":{"@pid":"b/HendrikPieterBarendregt","text":"Henk Barendregt"}},"title":"Self-Interpretations in lambda Calculus.","venue":"J. Funct. Program.","volume":"1","number":"2","pages":"229-233","year":"1991","type":"Journal Articles","access":"closed","key":"journals/jfp/Barendregt91a","doi":"10.1017/S0956796800020062","ee":"https://doi.org/10.1017/s0956796800020062","url":"https://dblp.org/rec/journals/jfp/Barendregt91a"}, "url":"URL#6905310" }, { "@score":"1", "@id":"6905311", "info":{"authors":{"author":{"@pid":"24/1493","text":"Erik Barendsen"}},"title":"An Unsolvable Numeral System in lambda Calculus.","venue":"J. Funct. Program.","volume":"1","number":"3","pages":"367-372","year":"1991","type":"Journal Articles","access":"closed","key":"journals/jfp/Barendsen91","doi":"10.1017/S0956796800000149","ee":"https://doi.org/10.1017/S0956796800000149","url":"https://dblp.org/rec/journals/jfp/Barendsen91"}, "url":"URL#6905311" }, { "@score":"1", "@id":"6905312", "info":{"authors":{"author":{"@pid":"b/RichardSBird","text":"Richard S. Bird"}},"title":"The Minout Problem.","venue":"J. Funct. Program.","volume":"1","number":"1","pages":"121-124","year":"1991","type":"Journal Articles","access":"closed","key":"journals/jfp/Bird91","doi":"10.1017/S0956796800000083","ee":"https://doi.org/10.1017/S0956796800000083","url":"https://dblp.org/rec/journals/jfp/Bird91"}, "url":"URL#6905312" }, { "@score":"1", "@id":"6905313", "info":{"authors":{"author":{"@pid":"b/RichardSBird","text":"Richard S. Bird"}},"title":"On Removing Duplicates.","venue":"J. Funct. Program.","volume":"1","number":"2","pages":"235-243","year":"1991","type":"Journal Articles","access":"closed","key":"journals/jfp/Bird91a","doi":"10.1017/S0956796800020074","ee":"https://doi.org/10.1017/s0956796800020074","url":"https://dblp.org/rec/journals/jfp/Bird91a"}, "url":"URL#6905313" }, { "@score":"1", "@id":"6905314", "info":{"authors":{"author":{"@pid":"237/4545","text":"Geoffrey Livingston Burn"}},"title":"Implementing the Evaluation Transformer Model of Reduction on Parallel Machines.","venue":"J. Funct. Program.","volume":"1","number":"3","pages":"329-366","year":"1991","type":"Journal Articles","access":"closed","key":"journals/jfp/Burn91","doi":"10.1017/S0956796800000137","ee":"https://doi.org/10.1017/S0956796800000137","url":"https://dblp.org/rec/journals/jfp/Burn91"}, "url":"URL#6905314" }, { "@score":"1", "@id":"6905315", "info":{"authors":{"author":{"@pid":"b/FWBurton","text":"F. Warren Burton"}},"title":"Encapsulating Non-Determinacy in an Abstract Data Type with Determinate Semantics.","venue":"J. Funct. Program.","volume":"1","number":"1","pages":"3-20","year":"1991","type":"Journal Articles","access":"closed","key":"journals/jfp/Burton91","doi":"10.1017/S0956796800000046","ee":"https://doi.org/10.1017/S0956796800000046","url":"https://dblp.org/rec/journals/jfp/Burton91"}, "url":"URL#6905315" }, { "@score":"1", "@id":"6905316", "info":{"authors":{"author":[{"@pid":"c/LucaCardelli","text":"Luca Cardelli"},{"@pid":"44/3784","text":"Giuseppe Longo"}]},"title":"A Semantic Basis for Quest.","venue":"J. Funct. Program.","volume":"1","number":"4","pages":"417-458","year":"1991","type":"Journal Articles","access":"closed","key":"journals/jfp/CardelliL91","doi":"10.1017/S0956796800000198","ee":"https://doi.org/10.1017/S0956796800000198","url":"https://dblp.org/rec/journals/jfp/CardelliL91"}, "url":"URL#6905316" }, { "@score":"1", "@id":"6905317", "info":{"authors":{"author":[{"@pid":"47/2251","text":"Herman Geuvers"},{"@pid":"83/165","text":"Mark-Jan Nederhof"}]},"title":"Modular Proof of Strong Normalization for the Calculus of Constructions.","venue":"J. Funct. Program.","volume":"1","number":"2","pages":"155-189","year":"1991","type":"Journal Articles","access":"closed","key":"journals/jfp/GeuversN91","doi":"10.1017/S0956796800020037","ee":"https://doi.org/10.1017/s0956796800020037","url":"https://dblp.org/rec/journals/jfp/GeuversN91"}, "url":"URL#6905317" }, { "@score":"1", "@id":"6905318", "info":{"authors":{"author":[{"@pid":"31/1216","text":"Carsten K. Gomard"},{"@pid":"j/NeilDJones","text":"Neil D. Jones"}]},"title":"A Partial Evaluator for the Untyped lambda-Calculus.","venue":"J. Funct. Program.","volume":"1","number":"1","pages":"21-69","year":"1991","type":"Journal Articles","access":"closed","key":"journals/jfp/GomardJ91","doi":"10.1017/S0956796800000058","ee":"https://doi.org/10.1017/S0956796800000058","url":"https://dblp.org/rec/journals/jfp/GomardJ91"}, "url":"URL#6905318" }, { "@score":"1", "@id":"6905319", "info":{"authors":{"author":[{"@pid":"58/4785","text":"Sebastian Hunt"},{"@pid":"h/ChrisHankin","text":"Chris Hankin"}]},"title":"Fixed Points and Frontiers: A New Perspective.","venue":"J. Funct. Program.","volume":"1","number":"1","pages":"91-120","year":"1991","type":"Journal Articles","access":"closed","key":"journals/jfp/HuntH91","doi":"10.1017/S0956796800000071","ee":"https://doi.org/10.1017/S0956796800000071","url":"https://dblp.org/rec/journals/jfp/HuntH91"}, "url":"URL#6905319" }, { "@score":"1", "@id":"6905320", "info":{"authors":{"author":[{"@pid":"03/1153","text":"François Major"},{"@pid":"36/3591","text":"Guy Lapalme"},{"@pid":"81/2840","text":"Robert Cedergren"}]},"title":"Domain Generating Functions for Solving Constraint Satisfaction Problems.","venue":"J. Funct. Program.","volume":"1","number":"2","pages":"213-227","year":"1991","type":"Journal Articles","access":"closed","key":"journals/jfp/MajorLC91","doi":"10.1017/S0956796800020050","ee":"https://doi.org/10.1017/s0956796800020050","url":"https://dblp.org/rec/journals/jfp/MajorLC91"}, "url":"URL#6905320" }, { "@score":"1", "@id":"6905321", "info":{"authors":{"author":[{"@pid":"22/1572","text":"Ian A. Mason"},{"@pid":"t/CarolynLTalcott","text":"Carolyn L. Talcott"}]},"title":"Equivalence in Functional Languages with Effects.","venue":"J. Funct. Program.","volume":"1","number":"3","pages":"287-327","year":"1991","type":"Journal Articles","access":"closed","key":"journals/jfp/MasonT91","doi":"10.1017/S0956796800000125","ee":"https://doi.org/10.1017/S0956796800000125","url":"https://dblp.org/rec/journals/jfp/MasonT91"}, "url":"URL#6905321" }, { "@score":"1", "@id":"6905322", "info":{"authors":{"author":{"@pid":"m/JohnCMitchell","text":"John C. Mitchell"}},"title":"Type Inference With Simple Subtypes.","venue":"J. Funct. Program.","volume":"1","number":"3","pages":"245-285","year":"1991","type":"Journal Articles","access":"closed","key":"journals/jfp/Mitchell91","doi":"10.1017/S0956796800000113","ee":"https://doi.org/10.1017/S0956796800000113","url":"https://dblp.org/rec/journals/jfp/Mitchell91"}, "url":"URL#6905322" }, { "@score":"1", "@id":"6905323", "info":{"authors":{"author":[{"@pid":"n/HanneRiisNielson","text":"Hanne Riis Nielson"},{"@pid":"n/FlemmingNielson","text":"Flemming Nielson"}]},"title":"Using Transformations in the Implementations of Higher-Order Functions.","venue":"J. Funct. Program.","volume":"1","number":"4","pages":"459-494","year":"1991","type":"Journal Articles","access":"closed","key":"journals/jfp/NielsonN91","doi":"10.1017/S0956796800000204","ee":"https://doi.org/10.1017/S0956796800000204","url":"https://dblp.org/rec/journals/jfp/NielsonN91"}, "url":"URL#6905323" }, { "@score":"1", "@id":"6905324", "info":{"authors":{"author":{"@pid":"46/946","text":"Mikael Rittri"}},"title":"Using Types as Search Keys in Function Libraries.","venue":"J. Funct. Program.","volume":"1","number":"1","pages":"71-89","year":"1991","type":"Journal Articles","access":"closed","key":"journals/jfp/Rittri91","doi":"10.1017/S095679680000006X","ee":"https://doi.org/10.1017/S095679680000006X","url":"https://dblp.org/rec/journals/jfp/Rittri91"}, "url":"URL#6905324" }, { "@score":"1", "@id":"6905325", "info":{"authors":{"author":[{"@pid":"r/CRunciman","text":"Colin Runciman"},{"@pid":"49/1829","text":"Ian Toyn"}]},"title":"Retrieving Reusable Software Components by Polymorphic Type.","venue":"J. Funct. Program.","volume":"1","number":"2","pages":"191-211","year":"1991","type":"Journal Articles","access":"closed","key":"journals/jfp/RuncimanT91","doi":"10.1017/S0956796800020049","ee":"https://doi.org/10.1017/s0956796800020049","url":"https://dblp.org/rec/journals/jfp/RuncimanT91"}, "url":"URL#6905325" } ] } } } )