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.

A Case Study in Functional Conversion and Mode Inference in miniKanren

Ekaterina Verbitskaia, Igor Engel, Daniil Berezun. A Case Study in Functional Conversion and Mode Inference in miniKanren. In Gabriele Keller, Meng Wang 0002, editors, Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024. pages 107-118, ACM, 2024. [doi]

Authors

Ekaterina Verbitskaia

This author has not been identified. Look up 'Ekaterina Verbitskaia' in Google

Igor Engel

This author has not been identified. Look up 'Igor Engel' in Google

Daniil Berezun

This author has not been identified. Look up 'Daniil Berezun' in Google
runs on