Check out our  Cloud-Native-Study 2024.
Zu den Inhalten springen
QAware Logo
  • Services
  • Company
  • Career
  • Resources
  • Community
  • Contact

We contractually assure quality far above the current state of the art.

Kategorie Projects
Compliance secured
Kategorie
Kategorie Projects
Cloud Native Solution Options
Kategorie
  • AI Business Value
    From idea to development
  • Cloud Migration
    Making IT systems fit for the cloud
  • Hotspot Analysis
    Effective help in IT crises
  • Product Discovery
    Invent digital products
  • Product Engineering
    Agile development of digital products
Kategorie News
“What makes QAware a Great Place to Work®?” – Interview with Rahel Gölz and Melina Peter
Sabine Lange
Kategorie
Kategorie Events
21. July
Cloud Native Summit 2025
31. July @ 18:30
Meetup | Cloud Native Night München | hybrid
  • About us
    Cloud pioneers with high quality demands
  • Our team
    It is the people who make a company
  • News
    Stay up to date
  • Partners
    Partners enrich our perspectives
Career
Your start with us
Professionals and graduates Students Pupils
  • Your job with us
    Friendly, approachable and helpful
  • Your benefits
    How to stay in the flow
  • Your development
    Career paths and further training
  • Your workplace
    Welcome to the New Normal
Kategorie Podcasts
AI in the Insurance World: Transitioning Proof of Concept into Production
Nicole Lontzek
Kategorie
Kategorie Events
21. July
Cloud Native Summit 2025
31. July @ 18:30
Meetup | Cloud Native Night München | hybrid
  • Ressourcen
    Everything about QAware in one place
Newest article
“What makes QAware a Great Place to Work®?” – Interview with Rahel Gölz and Melina Peter
1 min. | Sabine Lange
Popular topics
AgileProductivityKIKubernetesMicroservices
Language Switch
  • EN
  • DE
Kategorie Articles

Recursive definitions of monadic functions

03.06.2010  |  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
Newsletter Anmeldung
QAware Logo
The Futureware
Company

QAware GmbH +49 89 23 23 15 0
info@qaware.de

München Mainz Rosenheim

More about QAware

  • Events
  • Green Manifesto
  • Contact
  • Partners
  • Resources

Legal

  • Sitemap
  • Imprint
  • Privacy
Brandeins LogoBrandeins LogoHandelsblatt Logo
Kontrast Chatbot
Schliessen