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.

Bottom-up synthesis of recursive functional programs using angelic execution

Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Isil Dillig. Bottom-up synthesis of recursive functional programs using angelic execution. Proceedings of the ACM on Programming Languages, 6(POPL):1-29, 2022. [doi]

Authors

Anders Miltner

This author has not been identified. Look up 'Anders Miltner' in Google

Adrian Trejo Nuñez

This author has not been identified. Look up 'Adrian Trejo Nuñez' in Google

Ana Brendel

This author has not been identified. Look up 'Ana Brendel' in Google

Swarat Chaudhuri

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

Isil Dillig

This author has not been identified. Look up 'Isil Dillig' in Google
runs on