Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminar: Neel Krishnaswami

LFCS Seminar: Neel Krishnaswami

— filed under:

Simple and Efficient Higher-Order Reactive Programming

  • LFCS Seminar
When Dec 07, 2012
from 10:00 AM to 11:00 AM
Add event to calendar vCal

Functional reactive programming (FRP) is an elegant approach to declaratively specify reactive systems. However, the powerful abstractions of FRP have historically made it difficult to predict and control the resource usage of programs written in this style.

In this talk we describe some recent work on a type theory for higher-order functional reactive programming, as well as a natural implementation strategy for it, which hybridizes call-by-value
and call-by-need. This type theory simplifies and generalizes prior type systems for reactive programming. At the same time, our implementation strategy  rules out space and time leaks, two notorious sources of inefficiency in reactive programs. We accomplish this without either restricting the expressive power of the FRP model, or requiring a complex type system to track the resource usage of programs.

We also show that our implementation strategy is safe: we show the soundness of our type system under our implementation strategy, using a novel step-indexed Kripke logical relation.

Document Actions