[Agda] Two papers on Agda and FRP

[Andreas Abel]

Nice.

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
http://www2.tcs.ifi.lmu.de/~abel/