callback( { "result":{ "query":":facetid:toc:\"db/conf/lfp/lisp1980.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"185.06" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"32", "@dc":"32", "@oc":"32", "@id":"43412727", "text":":facetid:toc:db/conf/lfp/lisp1980.bht" } }, "hits":{ "@total":"32", "@computed":"32", "@sent":"30", "@first":"0", "hit":[{ "@score":"1", "@id":"7098977", "info":{"authors":{"author":{"@pid":"m/JohnMcCarthy","text":"John McCarthy 0001"}},"title":"LISP - notes on its past and future.","venue":"LISP Conference","pages":"v-viii","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/000180","doi":"10.1145/800087.802782","ee":"https://doi.org/10.1145/800087.802782","url":"https://dblp.org/rec/conf/lfp/000180"}, "url":"URL#7098977" }, { "@score":"1", "@id":"7098978", "info":{"authors":{"author":[{"@pid":"70/6761","text":"Rod M. Burstall"},{"@pid":"84/3383","text":"David B. MacQueen"},{"@pid":"s/DonaldSannella","text":"Donald Sannella"}]},"title":"HOPE: An Experimental Applicative Language.","venue":"LISP Conference","pages":"136-143","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/BurstallMS80","doi":"10.1145/800087.802799","ee":"https://doi.org/10.1145/800087.802799","url":"https://dblp.org/rec/conf/lfp/BurstallMS80"}, "url":"URL#7098978" }, { "@score":"1", "@id":"7098979", "info":{"authors":{"author":[{"@pid":"41/6150","text":"Richard R. Burton"},{"@pid":"78/3899","text":"Larry Masinter"},{"@pid":"b/DGBobrow","text":"Daniel G. Bobrow"},{"@pid":"30/1694","text":"W. Haugeland"},{"@pid":"61/5768","text":"Ronald M. Kaplan"},{"@pid":"91/5098","text":"B. A. Sheil"}]},"title":"Overview and Status of DoradoLISP.","venue":"LISP Conference","pages":"243-247","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/BurtonMBHKS80","doi":"10.1145/800087.802812","ee":"https://doi.org/10.1145/800087.802812","url":"https://dblp.org/rec/conf/lfp/BurtonMBHKS80"}, "url":"URL#7098979" }, { "@score":"1", "@id":"7098980", "info":{"authors":{"author":[{"@pid":"25/3161","text":"John A. Campbell"},{"@pid":"45/2187","text":"John P. Fitch"}]},"title":"Symbolic Computing with and without Lisp.","venue":"LISP Conference","pages":"1-5","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/CampbellF80","doi":"10.1145/800087.802783","ee":"https://doi.org/10.1145/800087.802783","url":"https://dblp.org/rec/conf/lfp/CampbellF80"}, "url":"URL#7098980" }, { "@score":"1", "@id":"7098981", "info":{"authors":{"author":{"@pid":"c/RCartwright","text":"Robert Cartwright"}},"title":"A Constructive Alternative to Axiomatic Data Type Definitions.","venue":"LISP Conference","pages":"46-55","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/Cartwright80","doi":"10.1145/800087.802789","ee":"https://doi.org/10.1145/800087.802789","url":"https://dblp.org/rec/conf/lfp/Cartwright80"}, "url":"URL#7098981" }, { "@score":"1", "@id":"7098982", "info":{"authors":{"author":[{"@pid":"53/4541","text":"T. J. W. Clarke"},{"@pid":"02/1477","text":"P. Gladstone"},{"@pid":"08/308","text":"C. MacLean"},{"@pid":"98/9","text":"A. C. Norman"}]},"title":"SKIM - The S, K, I Reduction Machine.","venue":"LISP Conference","pages":"128-135","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/ClarkeGMN80","doi":"10.1145/800087.802798","ee":"https://doi.org/10.1145/800087.802798","url":"https://dblp.org/rec/conf/lfp/ClarkeGMN80"}, "url":"URL#7098982" }, { "@score":"1", "@id":"7098983", "info":{"authors":{"author":[{"@pid":"28/1296","text":"James H. Davenport"},{"@pid":"99/6328","text":"Richard D. Jenks"}]},"title":"MODLISP.","venue":"LISP Conference","pages":"65-74","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/DavenportJ80","doi":"10.1145/800087.802791","ee":"https://doi.org/10.1145/800087.802791","url":"https://dblp.org/rec/conf/lfp/DavenportJ80"}, "url":"URL#7098983" }, { "@score":"1", "@id":"7098984", "info":{"authors":{"author":{"@pid":"d/LPeterDeutsch","text":"L. Peter Deutsch"}},"title":"ByteLisp and its Alto Implementation.","venue":"LISP Conference","pages":"231-242","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/Deutsch80","doi":"10.1145/800087.802811","ee":"https://doi.org/10.1145/800087.802811","url":"https://dblp.org/rec/conf/lfp/Deutsch80"}, "url":"URL#7098984" }, { "@score":"1", "@id":"7098985", "info":{"authors":{"author":[{"@pid":"324/4146","text":"Pär Emanuelson"},{"@pid":"82/349","text":"Anders Haraldsson"}]},"title":"On Compiling Embedded Languages in LISP.","venue":"LISP Conference","pages":"208-215","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/EmanuelsonH80","doi":"10.1145/800087.802808","ee":"https://doi.org/10.1145/800087.802808","url":"https://dblp.org/rec/conf/lfp/EmanuelsonH80"}, "url":"URL#7098985" }, { "@score":"1", "@id":"7098986", "info":{"authors":{"author":[{"@pid":"95/1621","text":"Ira P. Goldstein"},{"@pid":"b/DGBobrow","text":"Daniel G. Bobrow"}]},"title":"Extenting Object Oriented Programming in Smalltalk.","venue":"LISP Conference","pages":"75-81","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/GoldsteinB80","doi":"10.1145/800087.802792","ee":"https://doi.org/10.1145/800087.802792","url":"https://dblp.org/rec/conf/lfp/GoldsteinB80"}, "url":"URL#7098986" }, { "@score":"1", "@id":"7098987", "info":{"authors":{"author":{"@pid":"40/2735","text":"B. Greenberg"}},"title":"Prose and CONS - Multics Emacs: A Commercial Text-processing System in LISP.","venue":"LISP Conference","pages":"6-12","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/Greenberg80","doi":"10.1145/800087.802784","ee":"https://doi.org/10.1145/800087.802784","url":"https://dblp.org/rec/conf/lfp/Greenberg80"}, "url":"URL#7098987" }, { "@score":"1", "@id":"7098988", "info":{"authors":{"author":{"@pid":"h/CarlHewitt","text":"Carl Hewitt"}},"title":"The Apiary network architecture for knowledgeable systems.","venue":"LISP Conference","pages":"107-118","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/Hewitt80","doi":"10.1145/800087.802796","ee":"https://doi.org/10.1145/800087.802796","url":"https://dblp.org/rec/conf/lfp/Hewitt80"}, "url":"URL#7098988" }, { "@score":"1", "@id":"7098989", "info":{"authors":{"author":{"@pid":"k/RobertMKeller","text":"Robert M. Keller"}},"title":"Divide and CONCer: Data Structuring in Applicative Multiprocessing Systems.","venue":"LISP Conference","pages":"196-202","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/Keller80","doi":"10.1145/800087.802806","ee":"https://doi.org/10.1145/800087.802806","url":"https://dblp.org/rec/conf/lfp/Keller80"}, "url":"URL#7098989" }, { "@score":"1", "@id":"7098990", "info":{"authors":{"author":{"@pid":"77/3460","text":"Toshiaki Kurokawa"}},"title":"The Function-Class.","venue":"LISP Conference","pages":"38-45","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/Kurokawa80","doi":"10.1145/800087.802788","ee":"https://doi.org/10.1145/800087.802788","url":"https://dblp.org/rec/conf/lfp/Kurokawa80"}, "url":"URL#7098990" }, { "@score":"1", "@id":"7098991", "info":{"authors":{"author":{"@pid":"29/6588","text":"Fred Lakin"}},"title":"Computing with Text-Graphics Forms.","venue":"LISP Conference","pages":"100-106","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/Lakin80","doi":"10.1145/800087.802795","ee":"https://doi.org/10.1145/800087.802795","url":"https://dblp.org/rec/conf/lfp/Lakin80"}, "url":"URL#7098991" }, { "@score":"1", "@id":"7098992", "info":{"authors":{"author":[{"@pid":"39/3002","text":"Henry Lieberman"},{"@pid":"h/CarlHewitt","text":"Carl Hewitt"}]},"title":"A Session with Tinker: Interleaving Program Testing with Program Writing.","venue":"LISP Conference","pages":"90-99","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/LiebermanH80","doi":"10.1145/800087.802794","ee":"https://doi.org/10.1145/800087.802794","url":"https://dblp.org/rec/conf/lfp/LiebermanH80"}, "url":"URL#7098992" }, { "@score":"1", "@id":"7098993", "info":{"authors":{"author":{"@pid":"319/2353","text":"Jed B. Marti"}},"title":"Compilation Techniques for a Control-Flow Concurrent LISP System.","venue":"LISP Conference","pages":"203-207","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/Marti80","doi":"10.1145/800087.802807","ee":"https://doi.org/10.1145/800087.802807","url":"https://dblp.org/rec/conf/lfp/Marti80"}, "url":"URL#7098993" }, { "@score":"1", "@id":"7098994", "info":{"authors":{"author":[{"@pid":"78/3899","text":"Larry Masinter"},{"@pid":"d/LPeterDeutsch","text":"L. Peter Deutsch"}]},"title":"Local Optimization in a Compiler for Stack-based LISP Machines.","venue":"LISP Conference","pages":"223-230","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/MasinterD80","doi":"10.1145/800087.802810","ee":"https://doi.org/10.1145/800087.802810","url":"https://dblp.org/rec/conf/lfp/MasinterD80"}, "url":"URL#7098994" }, { "@score":"1", "@id":"7098995", "info":{"authors":{"author":{"@pid":"83/863","text":"Drew V. McDermott"}},"title":"An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped LISP.","venue":"LISP Conference","pages":"154-162","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/McDermott80","doi":"10.1145/800087.802801","ee":"https://doi.org/10.1145/800087.802801","url":"https://dblp.org/rec/conf/lfp/McDermott80"}, "url":"URL#7098995" }, { "@score":"1", "@id":"7098996", "info":{"authors":{"author":[{"@pid":"90/2560","text":"Donald P. McKay"},{"@pid":"s/StuartCShapiro","text":"Stuart C. Shapiro"}]},"title":"MULTI - A LISP Based Multiprocessing System.","venue":"LISP Conference","pages":"29-37","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/McKayS80","doi":"10.1145/800087.802787","ee":"https://doi.org/10.1145/800087.802787","url":"https://dblp.org/rec/conf/lfp/McKayS80"}, "url":"URL#7098996" }, { "@score":"1", "@id":"7098997", "info":{"authors":{"author":{"@pid":"72/1455","text":"M. Model"}},"title":"Multiprocessing via Intercommunicating LISP Systems.","venue":"LISP Conference","pages":"188-195","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/Model80","doi":"10.1145/800087.802805","ee":"https://doi.org/10.1145/800087.802805","url":"https://dblp.org/rec/conf/lfp/Model80"}, "url":"URL#7098997" }, { "@score":"1", "@id":"7098998", "info":{"authors":{"author":[{"@pid":"77/5159","text":"F. Lockwood Morris"},{"@pid":"19/5108","text":"J. Schwarz"}]},"title":"Computing Cyclic List Structures.","venue":"LISP Conference","pages":"144-153","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/MorrisS80","doi":"10.1145/800087.802800","ee":"https://doi.org/10.1145/800087.802800","url":"https://dblp.org/rec/conf/lfp/MorrisS80"}, "url":"URL#7098998" }, { "@score":"1", "@id":"7098999", "info":{"authors":{"author":[{"@pid":"02/6379","text":"Steven S. Muchnick"},{"@pid":"45/125","text":"Uwe F. Pleban"}]},"title":"A Semantic Comparison of LISP and Scheme.","venue":"LISP Conference","pages":"56-64","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/MuchnickP80","doi":"10.1145/800087.802790","ee":"https://doi.org/10.1145/800087.802790","url":"https://dblp.org/rec/conf/lfp/MuchnickP80"}, "url":"URL#7098999" }, { "@score":"1", "@id":"7099000", "info":{"authors":{"author":{"@pid":"38/445","text":"Kent M. Pitman"}},"title":"Special Forms in LISP.","venue":"LISP Conference","pages":"179-187","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/Pitman80","doi":"10.1145/800087.802804","ee":"https://doi.org/10.1145/800087.802804","url":"https://dblp.org/rec/conf/lfp/Pitman80"}, "url":"URL#7099000" }, { "@score":"1", "@id":"7099001", "info":{"authors":{"author":{"@pid":"58/6629","text":"G. Print"}},"title":"Explicit Parallelism in LISP-like Languages.","venue":"LISP Conference","pages":"13-18","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/Print80","doi":"10.1145/800087.802785","ee":"https://doi.org/10.1145/800087.802785","url":"https://dblp.org/rec/conf/lfp/Print80"}, "url":"URL#7099001" }, { "@score":"1", "@id":"7099002", "info":{"authors":{"author":{"@pid":"18/4223","text":"W. Rowan"}},"title":"A LISP Compiler Producing Compact Code.","venue":"LISP Conference","pages":"216-222","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/Rowan80","doi":"10.1145/800087.802809","ee":"https://doi.org/10.1145/800087.802809","url":"https://dblp.org/rec/conf/lfp/Rowan80"}, "url":"URL#7099002" }, { "@score":"1", "@id":"7099003", "info":{"authors":{"author":[{"@pid":"s/ErikSandewall","text":"Erik Sandewall"},{"@pid":"59/2828","text":"Henrik Sörensen"},{"@pid":"57/6511","text":"Claes Strömberg"}]},"title":"A System of Communicating Residential Environments.","venue":"LISP Conference","pages":"82-89","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/SandewallSS80","doi":"10.1145/800087.802793","ee":"https://doi.org/10.1145/800087.802793","url":"https://dblp.org/rec/conf/lfp/SandewallSS80"}, "url":"URL#7099003" }, { "@score":"1", "@id":"7099004", "info":{"authors":{"author":{"@pid":"20/2223","text":"B. Steele"}},"title":"Strategies for Data Abstraction in LISP.","venue":"LISP Conference","pages":"173-178","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/Steele80","doi":"10.1145/800087.802803","ee":"https://doi.org/10.1145/800087.802803","url":"https://dblp.org/rec/conf/lfp/Steele80"}, "url":"URL#7099004" }, { "@score":"1", "@id":"7099005", "info":{"authors":{"author":[{"@pid":"s/GuyLSteeleJr","text":"Guy L. Steele Jr."},{"@pid":"s/GeraldJSussman","text":"Gerald J. Sussman"}]},"title":"The Dream of Lifetime: A Lazy Variable Extent Mechanism.","venue":"LISP Conference","pages":"163-172","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/SteeleS80","doi":"10.1145/800087.802802","ee":"https://doi.org/10.1145/800087.802802","url":"https://dblp.org/rec/conf/lfp/SteeleS80"}, "url":"URL#7099005" }, { "@score":"1", "@id":"7099006", "info":{"authors":{"author":{"@pid":"w/MitchellWand","text":"Mitchell Wand"}},"title":"Continuation-Based Multiprocessing.","venue":"LISP Conference","pages":"19-28","year":"1980","type":"Conference and Workshop Papers","access":"closed","key":"conf/lfp/Wand80","doi":"10.1145/800087.802786","ee":"https://doi.org/10.1145/800087.802786","url":"https://dblp.org/rec/conf/lfp/Wand80"}, "url":"URL#7099006" } ] } } } )