[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