Learn More
The &#x3BB;-calculus is popular as an intermediate language for practical compilers. But in the world of logic it has a lesser-known twin, born at the same time, called the <em>sequent calculus</em>. Perhaps that would make for a good intermediate language, too? To explore this question we designed Sequent Core, a practically-oriented core calculus based on(More)
Digestive physiology laboratory exercises often explore the regulation of enzyme action rather than systems physiology. This laboratory exercise provides a systems approach to digestive and regulatory processes through the exploration of postprandial blood glucose levels. In the present exercise, students enrolled in an undergraduate animal physiology(More)
Continuation-passing style (CPS) transforms have long been important tools in the study of programming. They have been shown to correspond to abstract machines and, when combined with a naming transform that expresses shared values, they enjoy a direct correspondence with encodings into process calculi such as the &pi;-calculus. We present our notion of(More)
While today's web browsers support multiple principals (i.e., web frames with embedded JavaScript code, or plugins) from many different origins at the same time, they do not have a clear resource management model, and the loose control on resource access has led to various types of web-based attacks. In this paper, we present a resource management framework(More)
Many fields of study in compilers give rise to the concept of a join point&#8212;a place where different execution paths come together. Join points are often treated as functions or continuations, but we believe it is time to study them in their own right. We show that adding join points to a direct-style functional intermediate language is a simple but(More)
CPS transforms have long been important tools in the study of programming languages, especially those related to the λ-calculus. Recently, it has been shown that encodings into process calculi, such as the π-calculus, can also serve as semantics, in the same way as CPS transforms. It is known that common encodings of the call-by-value and call-by-name(More)
  • 1