[Agda] LTL Types FRP: Linear-time Temporal Logic Propositions as Types, Proofs as Functional Reactive Programs

Colin Adams colinpauladams at gmail.com
Thu Nov 10 16:19:10 CET 2011


I get a 404 on that link.

On 10 November 2011 15:17, Alan Jeffrey <ajeffrey at bell-labs.com> wrote:

> Hi everyone,
>
> There is now a paper available describing the FRP model I've implemented
> in Agda.
>
>  LTL Types FRP: Linear-time Temporal Logic Propositions as Types,
>  Proofs as Functional Reactive Programs. A. S. A. Jeffrey.
>  To appear in Proc. ACM Workshop Programming Languages meets
>  Program Verification, 2012.
>  http://ect.bell-labs.com/who/**ajeffrey/papers/plpv12.pdf<http://ect.bell-labs.com/who/ajeffrey/papers/plpv12.pdf>
>
> The semantics is essentially the same as the JavaScript FRP library,
> although the implementation is quite different.
>
> A.
> ______________________________**_________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/**mailman/listinfo/agda<https://lists.chalmers.se/mailman/listinfo/agda>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20111110/177c72f9/attachment.html


More information about the Agda mailing list