Back to Results
First PageMeta Content
Mathematics / Linear temporal logic / Temporal logic / Monad / Limit / Initial and terminal objects / Functor / Modal logic / Cone / Category theory / Abstract algebra / Adjoint functors


Temporal Logic with “Until”, Functional Reactive Programming with Processes, and Concrete Process Categories
Add to Reading List

Document Date: 2012-11-14 10:13:24

Open Document

File Size: 229,90 KB

Share Result on Facebook

City

Berlin / Rome / Tallinn / London / Saarbrücken / New York / /

Company

Cambridge University Press / MIT Press / BT / /

Country

Germany / Italy / Estonia / United Kingdom / /

Currency

USD / /

IndustryTerm

finite products / reactive systems / media player application plays / real world applications / media player / http /

Organization

Cambridge University / National Science Foundation / MIT / Max Planck Institut für Informatik / Estonian Center of Excellence / /

Person

Mike Shulman / S. Peyton Jones / Howard Correspondence / Max Planck / Todd Trimble / Practical Aspects / Formal Models / /

Position

editor / correspondent / /

Product

CPCs / /

ProgrammingLanguage

Haskell / /

ProvinceOrState

New York / Massachusetts / /

PublishedMedium

Theoretical Computer Science / Electronic Notes in Theoretical Computer Science / Lecture Notes in Computer Science / /

Technology

Functional Programming / html / DSL / /

URL

http /

SocialTag