Published November 12, 2020
| Version v1
Journal article
Open
Efficient Full Higher-Order Unification
Authors/Creators
- 1. Vrije Universiteit Amsterdam
Description
This package contains problems used for evaluation, and the raw evaluation data, and the scripts necessary for the reproduction of the results for the Efficient Full Higher-order Unification article.
Files
hounif_data.zip
Files
(194.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:ab0b3fe6e152efda2b07efdfe7c86f79
|
194.9 MB | Preview Download |