[ACM Press the 12th Symposium - Amsterdam, Netherlands (2016.11.01-2016.11.01)] Proceedings of the 12th Symposium on Dynamic Languages - DLS 2016 - A small embedding of logic programming with a simple complete search
Hemann, Jason; Friedman, Daniel P.; Byrd, William E.; Might, Matthew
- 作者Hemann, Jason; Friedman, Daniel P.; Byrd, William E.; Might, Matthew
- 文件大小291.06KB
- 发表时间2016
- DOI10.1145/2989225.2989230
- 页码96-107