Luke Maurer

  • Citations Per Year
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)
Hopper MK, Maurer LW. Laboratory exercise: study of digestive and regulatory processes through the exploration of fasted and postprandial blood glucose. Adv Physiol Educ 37: 254–263, 2013; doi:10.1152/advan.00172.2012.—Digestive physiology laboratory exercises often explore the regulation of enzyme action rather than systems physiology. This laboratory(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-byvalue and call-by-name(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)
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)
  • 1