Articles

Kategorie Articles

Recursive definitions of monadic functions

 |  Alexander Krauss

In: Ana Bove, Ekaterina Komendantskaya, and Milad Niqui, editors, Workshop on Partiality and Recursion in Interactive Theorem Proving (PAR 2010) (Alexander Krauss) PDF

Ein Beitrag von
Alexander Krauss

Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]

Mehr Informationen
Alexander

Related posts

Kategorie Articles
Fast and efficient operational time series storage: The missing link in dynamic software analysis
Florian Lautenschlager
Kategorie
Kategorie Articles
Softwaretechnik im Auto – Management-Lehrgang „Software im Automobil”
Christian Kamm
Kategorie
Kategorie Articles
Nie wieder Zertifikate! – Skalierbare Sicherheit mit SPIFFE
Andreas Zitzelsberger
Kategorie