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.
1998
1998
We are interested in developing a semantic foundation that supports specifying, composing, and reasoning about components of open… Expand
  • figure 6
1998
1998
  • O. 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
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
Highly Cited
1995
Highly Cited
1995
This paper discusses the relationship between memoized top-down recognizers and chart parsers. It presents a version of… Expand
1994
1994
Many language theoreticians have taken great efforts in designing higher-level programming languages that are more elegant and… Expand
1994
1994
In this dissertation we present a methodology for the veri cation of language implementations based on formal semantics. While… Expand
1990
1990
This paper presents results concerning the use of simulation in the analysis of finite games and the development of strategies… Expand
Highly Cited
1988
Highly Cited
1988
We describe a small set of additions to Scheme to support object-oriented programming, including a form of multiple inheritance… Expand
  • table 1
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