Patrick Bahr (@pa_ba) 's Twitter Profile
Patrick Bahr

@pa_ba

Associate Professor in Computer Science at IT University of Copenhagen

social.itu.dk/@patrick

ID: 18600855

linkhttp://bahr.io calendar_today04-01-2009 12:02:38

2 Tweet

87 Followers

46 Following

Journal of Functional Programming (@cup_jfp) 's Twitter Profile Photo
Journal of Functional Programming
@cup_jfp

3 years ago

Patrick Bahr presents Rattus, an FRP language with modal types that ensures causality, productivity, and absence of space leaks, while being simpler than previous calculi. Rattus is shallowly embedded in Haskell, and type soundness is shown in Coq. cambridge.org/core/journals/…