An Equational Modeling of Asynchronous Concurrent Programming

von Janin, David
Veröffentlicht in TFP (21. : 2020 : Krakau) Trends in functional programming (2020)

A Timed IO Monad

von Janin, David
Veröffentlicht in PADL (22. : 2020 : New Orleans, La.) Practical aspects of declarative languages (2020)