Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

William Clinger (computer scientist)

Known as: Clinger, Will Clinger, William D. Clinger 
William D. Clinger is an Associate Professor in the College of Computer and Information Science at Northeastern University. Clinger is known for his… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2000
2000
Garbage collection is a technology that solves a practical programming problem , namely that of reclaiming unused heap storage… Expand
  • figure 2.2
  • figure 5.1
  • figure 6.1
  • figure 7.1
  • figure 7.3
Is this relevant?
1998
1998
We are interested in developing a semantic foundation that supports specifying, composing, and reasoning about components of open… Expand
  • figure 6
Is this relevant?
1998
1998
  • Olivier Danvy
  • Fuji International Symposium on Functional and…
  • 1998
  • Corpus ID: 5205279
In this experimental work, we extend type-directed partial evaluation (a.k.a. "reduction-free normalization" and "normalization… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This thesis attempts to make precise the structure inherent in Continuation Passing Style (CPS). We emphasize that CPS translates… Expand
  • figure 1.8
Is this relevant?
1995
1995
This paper discusses the relationship between memoized top-down recognizers and chart parsers. It presents a version of… Expand
Is this relevant?
1994
1994
Many language theoreticians have taken great efforts in designing higher-level programming languages that are more elegant and… Expand
Is this relevant?
1994
1994
In this dissertation we present a methodology for the veri cation of language implementations based on formal semantics. While… Expand
Is this relevant?
1991
1991
 
Is this relevant?
1988
1988
We describe a small set of additions to Scheme to support object-oriented programming, including a form of multiple inheritance… Expand
  • table 1
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Connection Machine Lisp is a dialect of Lisp extended to al- low a fine.grained, data-oriented style of parallel execution. We… Expand
  • table I
  • table 2
Is this relevant?