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.

Searching entangled program spaces

James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova. Searching entangled program spaces. Proceedings of the ACM on Programming Languages, 6(ICFP):23-51, 2022. [doi]

Authors

James Koppel

This author has not been identified. Look up 'James Koppel' in Google

Zheng Guo

This author has not been identified. Look up 'Zheng Guo' in Google

Edsko de Vries

This author has not been identified. Look up 'Edsko de Vries' in Google

Armando Solar-Lezama

This author has not been identified. Look up 'Armando Solar-Lezama' in Google

Nadia Polikarpova

This author has not been identified. Look up 'Nadia Polikarpova' in Google
runs on