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

Alan Jeffrey ajeffrey at bell-labs.com
Thu Nov 10 16:26:49 CET 2011


Oops, fixed!

A.

On 11/10/2011 09:19 AM, Colin Adams wrote:
> I get a 404 on that link.
>
> On 10 November 2011 15:17, Alan Jeffrey <ajeffrey at bell-labs.com
> <mailto: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 <mailto:Agda at lists.chalmers.se>
>     https://lists.chalmers.se/ mailman/listinfo/agda
>     <https://lists.chalmers.se/mailman/listinfo/agda>
>
>


More information about the Agda mailing list