Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "R. Kent Dybvig" ( http://dblp.L3S.de/Authors/R._Kent_Dybvig )

URL (Homepage):  http://www.cs.indiana.edu/hyplan/dyb.html  Author page on DBLP  Author page in RDF  Community of R. Kent Dybvig in ASPL-2

Publication years (Num. hits)
1986-1995 (15) 1996-2005 (15) 2006-2012 (8)
Publication types (Num. hits)
article(16) book(2) inproceedings(20)
Venues (Conferences, Journals, ...)
Lisp and Symbolic Computation(6) PLDI(5) Higher-Order and Symbolic Comp...(4) ICFP(4) LISP and Functional Programmin...(3) J. Funct. Program.(2) ACM Comput. Surv.(1) ACM Trans. Program. Lang. Syst...(1) Comput. Lang.(1) CONPAR(1) CoRR(1) FPLE(1) ICCL(1) OOPSLA(1) Parallel Symbolic Computing(1) POPL(1) More (+10 of total 18)
Authors
R. Kent Dybvig(38) Oscar Waddell(8) Robert Hieb(7) Carl Bruggeman(6) Daniel P. Friedman(4) Christopher T. Haynes(3) Dipanwita Sarkar(3) J. Michael Ashley(3) Robert G. Burger(3) Michael D. Adams 0001(2) Abdulaziz Ghuloum(1) Amr Sabry(1) Andrew W. Keep(1) Arun Chauhan(1) Chris Hanson(1) Claude W. Anderson III(1) More (+10 of total 40)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 20 occurrences of 14 keywords
Results
Found 38 publication records. Showing 38 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Yin Wang, R. Kent Dybvig Register Allocation By Model Transformer Semantics Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Michael D. Adams 0001, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig Flow-sensitive type recovery in linear-log time. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1R. Kent Dybvig The Scheme Programming Language (4. ed.). Search on Bibsonomy 2009   RDF
1Olivier Danvy, R. Kent Dybvig, Julia L. Lawall, Peter Thiemann Editorial. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael D. Adams 0001, R. Kent Dybvig Efficient nondestructive equality checking for trees and graphs. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dfa equivalence, eq hash tables, scheme, equality, union-find
1R. Kent Dybvig, Simon L. Peyton Jones, Amr Sabry A monadic framework for delimited continuations. Search on Bibsonomy J. Funct. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Abdulaziz Ghuloum, R. Kent Dybvig Implicit phasing for R6RS libraries. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF binding phases, hygienic macros, macro expansion, scheme, libraries
1R. Kent Dybvig The development of Chez Scheme. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF chez scheme, scheme implementation
1Oscar Waddell, Dipanwita Sarkar, R. Kent Dybvig Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF letrec restriction, recursive binding construct, internal definitions, optimization, Scheme, modules, mutual recursion
1Dipanwita Sarkar, Oscar Waddell, R. Kent Dybvig Educational Pearl: A Nanopass framework for compiler education. Search on Bibsonomy J. Funct. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Dipanwita Sarkar, Oscar Waddell, R. Kent Dybvig A nanopass infrastructure for compiler education. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF compiler writing tools, nanopass compilers, syntactic abstraction, domain-specific languages
1R. Kent Dybvig The scheme programming language (3. ed.). Search on Bibsonomy 2003   RDF
1R. Kent Dybvig From Macrogeneration to Syntactic Abstraction. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Oscar Waddell, R. Kent Dybvig Extending the Scope of Syntactic Abstraction. Search on Bibsonomy POPL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1J. Michael Ashley, R. Kent Dybvig A Practical and Flexible Flow Analysis for Higher-Order Languages. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF abstract interpretation, higher-order languages
1Oscar Waddell, R. Kent Dybvig Visualizing Partial Evaluation. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Sanjeev Kumar, Carl Bruggeman, R. Kent Dybvig Threads Yield Continuations. Search on Bibsonomy Lisp and Symbolic Computation The full citation details ... 1998 DBLP  BibTeX  RDF
1Harold Abelson, R. Kent Dybvig, Christopher T. Haynes, Guillermo Juan Rozas, N. I. Adams IV, Daniel P. Friedman, Eugene E. Kohlbecker, Guy L. Steele Jr., David H. Bartley, Robert H. Halstead Jr., Don Oxley, Gerald J. Sussman, G. Brooks, Chris Hanson, Kent M. Pitman, Mitchell Wand Revised Report on the Algorithmic Language Scheme. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Robert G. Burger, R. Kent Dybvig An Infrastructure for Profile-Driven Dynamic Recompilation. (PDF / PS) Search on Bibsonomy ICCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF edge-count profiling, basic-block reordering, dynamic compilation, run-time code generation
1Oscar Waddell, R. Kent Dybvig Fast and Effective Procedure Inlining. Search on Bibsonomy SAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Sho-Huan Simon Tung, R. Kent Dybvig Reliable Interactive Programming with Modules. Search on Bibsonomy Lisp and Symbolic Computation The full citation details ... 1996 DBLP  BibTeX  RDF
1Carl Bruggeman, Oscar Waddell, R. Kent Dybvig Representing Control in the Presence of One-Shot Continuations. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Robert G. Burger, R. Kent Dybvig Printing Floating-Point Numbers Quickly and Accurately. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF floating-point printing, run-time systems
1Robert G. Burger, Oscar Waddell, R. Kent Dybvig Register Allocation Using Lazy Saves, Eager Restores, and Greedy Shuffling. Search on Bibsonomy PLDI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Eric Hilsdale, J. Michael Ashley, R. Kent Dybvig, Daniel P. Friedman Compiler Construction Using Scheme. Search on Bibsonomy FPLE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Robert Hieb, R. Kent Dybvig, Claude W. Anderson III Subcontinuations. Search on Bibsonomy Lisp and Symbolic Computation The full citation details ... 1994 DBLP  BibTeX  RDF
1J. Michael Ashley, R. Kent Dybvig An Efficient Implementation of Multiple Return Values in Scheme. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1994 DBLP  DOI  BibTeX  RDF SCHEME, Common Lisp
1R. Kent Dybvig, Carl Bruggeman, David Eby Guardians in a Generation-Based Garbage Collector. Search on Bibsonomy PLDI The full citation details ... 1993 DBLP  DOI  BibTeX  RDF SCHEME
1R. Kent Dybvig, Robert Hieb, Carl Bruggeman Syntactic Abstraction in Scheme. Search on Bibsonomy Lisp and Symbolic Computation The full citation details ... 1992 DBLP  BibTeX  RDF
1Suresh Srinivas, R. Kent Dybvig Superscalar Floating-Point Vector Computation in Scheme. Search on Bibsonomy CONPAR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Carl Bruggeman, R. Kent Dybvig A New Architecture Design Paradigm for Parallel Computing in Scheme. Search on Bibsonomy Parallel Symbolic Computing The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1R. Kent Dybvig, Robert Hieb A New Approach to Procedures with Variable Arity. Search on Bibsonomy Lisp and Symbolic Computation The full citation details ... 1990 DBLP  BibTeX  RDF
1Robert Hieb, R. Kent Dybvig, Carl Bruggeman Representing Control in the Presence of First-Class Continuations. Search on Bibsonomy PLDI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF SCHEME
1Robert Hieb, R. Kent Dybvig Continuations and Concurrency. Search on Bibsonomy PPOPP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF SCHEME
1R. Kent Dybvig, Robert Hieb Engines From Continuations. Search on Bibsonomy Comput. Lang. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes Expansion-Passing Style: A General Macro Mechanism. Search on Bibsonomy Lisp and Symbolic Computation The full citation details ... 1988 DBLP  BibTeX  RDF
1R. Kent Dybvig, Robert Hieb A Variable-Arity Procedural Interface. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1R. Kent Dybvig, Daniel P. Friedman, Christopher T. Haynes Expansion-Passing Style: Beyond Conventional Macros. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1986 DBLP  BibTeX  RDF
Displaying result #1 - #38 of 38 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.