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

Frank Pfenning

Frank Pfenning is a professor of computer science, adjunct professor in the department of philosophy, and head of the Computer Science Department at… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an… Expand
  • figure 2
  • figure 3
Is this relevant?
2005
2005
Formally adopted in 1996 by the International Organization of Standardization, ISO 14000 represents a new voluntary international… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Very old, undisturbed forest stands may be important for biodiversity through their content of microhabitats or for the long… Expand
  • figure 1
Is this relevant?
2003
2003
We report on work in progress regarding a foundation for the notion of meta-variable in logical frameworks and type theories. Our… Expand
  • figure 1
Is this relevant?
2001
2001
This thesis introduces a, new logical system, ordered linear logic, which combines reasoning with unrestricted, linear, and… Expand
  • figure 5.1
  • figure 8.1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Nigerian adolescents generally have low levels of contraceptive use but their reliance on unsafe abortion is high and results in… Expand
  • table 1
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The relationship between recruitment and spawner biomass assumes that estimates of spawner biomass are proportional to total egg… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
ion and object-oriented organization, Event-based, implicit invocation Pattern-Oriented Software Architecture, A System of… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
A design pattern is a particular prose form of recording design information such that designs which have worked well in the past… Expand
  • figure 1
Is this relevant?
1990
1990
In this chapter we develop an interpreter of a higher-order constraint logic programming language in Standard ML (SML). The logic… Expand
Is this relevant?