[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