Check out our  Cloud-Native-Study 2024.
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

Alexander Krauss

Fitting the topic

Kategorie News
Great Place to Work 2023 – Triple für QAware
Rahel Gölz
Kategorie
Kategorie News
Wir rollen das 49€ Ticket für unser Team aus!
QAware
Kategorie
Kategorie Articles
QAware gestaltet die Zukunft mit modernen Cloud-Technologien
Michael Rohleder
Kategorie
Kategorie Talks
Search-based business intelligence and reverse data engineering with Apache Solr
Mario-Leander Reimer
Kategorie
Kategorie Talks
Microservices with Micronaut
Moritz Kammerer
Kategorie
Kategorie Projects
Weltweite Suchmaschine entwickelt
Kategorie