Luke Maurer

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn 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 π-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)
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)
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