External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Determinism Types for Functional Logic Programming

Michael Hanus, Kai-Oliver Prott. Determinism Types for Functional Logic Programming. In Malgorzata Biernacka, Carlos Olarte, Francesco Ricca, James Cheney, editors, Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Rende, Italy, September 10-11, 2025. ACM, 2025. [doi]

Authors

Michael Hanus

This author has not been identified. It may be one of the following persons: Look up 'Michael Hanus' in Google

Kai-Oliver Prott

This author has not been identified. Look up 'Kai-Oliver Prott' in Google
runs on