Patrick Bahr
@pa_ba
Associate Professor in Computer Science at IT University of Copenhagen https://social.itu.dk/@patrick
You might like
Patrick Bahr reposted
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/…
![lambdagrrl's profile picture. Frustrated anarchist; autistic queer; trans woman; [dys]functional programmer; eccentric musician; also @thunderandherbs and @trashsynth; she/her](https://pbs.twimg.com/profile_images/3585612459/c278610e6f2d6518fc117b3dff594346.jpeg)
United States Trends
- 1. Good Wednesday 21K posts
- 2. #hazbinhotelseason2 35.7K posts
- 3. PancakeSwap BNB Chain 2,166 posts
- 4. ADOR 43.9K posts
- 5. Northern Lights 49.4K posts
- 6. #wednesdaymotivation 3,144 posts
- 7. Hump Day 8,482 posts
- 8. USDT 111K posts
- 9. #huskerdust 9,564 posts
- 10. #HazbinHotelSpoilers 3,919 posts
- 11. StandX 2,441 posts
- 12. Hanni 12.7K posts
- 13. Vaggie 7,017 posts
- 14. MIND-BLOWING 33.8K posts
- 15. #chaggie 5,565 posts
- 16. SPECTACULAR 24.9K posts
- 17. Wike 247K posts
- 18. Carmilla 2,682 posts
- 19. Superb 22.6K posts
- 20. H-1B 41.6K posts
You might like
-
Derek Dreyer
@HerrDreyer -
Matti Palli 🧙♂️
@tritlo -
Sam Lindley
@reifyreflect -
Jeremy Gibbons
@jer_gib -
Andrey Mokhov
@andreymokhov -
András Kovács
@andrasKovacs6 -
Effect Handlers
@effecthandlers -
Oliver Bračevac
@etaconversion -
Arnaud Spiwack
@aspiwack -
Jonathan Brachthäuser
@__protected -
vollmerm
@ma_vollmer -
Daniel Hillerström
@dhillerstrom
Loading...
Something went wrong.
Something went wrong.