Modal FRP for all: Functional reactive programming without space leaks in Haskell

Keyphrases

• Modal 100%
• Haskell 100%
• Functional Reactive Programming 100%
• Programming for All 100%
• Rattus 71%
• Type Systems 28%
• Programming Languages 14%
• Coq Proof Assistant 14%
• Modal Types 14%
• Operational Properties 14%
• Reactive Systems 14%
• Bespoke 14%
• Graphics Programming 14%
• Fully Mechanized 14%
• Type Soundness 14%
• Programming Calculi 14%
• Memory Property 14%
• Programming Library 14%

Computer Science

• Type Systems 100%
• Programming Language 50%
• Reactive System 50%
• Soundness 50%
• Level Interface 50%