Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Forritunarmál"”.
-
Interactions of (co)monads in Agda
We study interaction laws of monads and comonads in the interactive theorem prover Agda. Effectful computations are modeled as monads, while comonads model computation-running machines. Interaction laws describe how computations may be uniformly run to yield values. We study monads and comonads on …
-
minRx - a minimal implementation of Reactive Extentions in C#
minRx is a minimal implementation of Microsoft Reactive Extensions library using functional programming methods in C#. The base for this project is another project called minLINQ created by Reactive Extensions developer Bart De Smet. minLINQ provided a way to use functional methods to query …