Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
Top Ranked Papers of
2012
on
Programming Languages |
PLPV
All Conferences
ASPLOS
ESOP
PADL
PLPV
POPL
PLDI
TOCS
TOIT
TODS
...
Explore PLPV 2012 »
177
Voted
PLPV
2012
ACM
261
views
Programming Languages
»
more
PLPV 2012
»
LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs
13 years 11 months ago
Download
ect.bell-labs.com
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
Alan Jeffrey
claim paper
Read More »
All Subjects
Algorithms
Applied Computing
Artificial Intelligence
Automated Reasoning
Biometrics
Communications
Computational Biology
Computational Linguistics
Computer Architecture
Computer Graphics
Computer Networks
Computer Vision
Cryptology
Data Mining
Database
Distributed And Parallel Computing
ECommerce
Education
Formal Methods
FPGA
Hardware
Healthcare
Human Computer Interaction
Information Technology
Intelligent Agents
Internet Technology
Languages
Logical Reasoning
Machine Learning
Management
Multimedia
Natural Language Processing
Optimization
Programming Languages
Security Privacy
Signal Processing
Social Sciences
Software Engineering
System Software
Theoretical Computer Science
Virtual Reality
Virtualization
Programming Languages
2014
2012
2011
2010
2009
views
votes
All Conferences
ASPLOS
ESOP
PADL
PLPV
POPL
PLDI
TOCS
TOIT
TODS
JMLR
ECOOP
TON
ICFP
PLPV 2012 »
