[Agda] Two papers on Agda and FRP

Andreas Abel andreas.abel at ifi.lmu.de
Sat Nov 17 14:29:13 CET 2012


On 15.11.12 10:04 PM, Alan Jeffrey wrote:
> A couple of papers on Agda-related topics that folks here might be
> interested in...
> Causality For Free!: Parametricity Implies Causality for Functional
> Reactive Programs. In Proc. ACM Workshop Programming Languages meets
> Program Verification. 2013.
> (http://ect.bell-labs.com/who/ajeffrey/papers/plpv13.pdf)
> Dependently Typed Web Client Applications: FRP in Agda in HTML5. In
> Proc. Practical Aspects of Declarative Languages. 2013.
> (http://ect.bell-labs.com/who/ajeffrey/papers/padl13.pdf)

I looked at this one, to understand what the JS-Backend does.  Very 
helpful indeed!

Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de

More information about the Agda mailing list