Dataset - CKAN

Explicit resources from the rewriting point of view.

This thesis deals with the management of explicit resources in functional languages, stressing on properties of calculi with explicit substitutions refining the...
- HTML

You can also access this registry using the API (see API Docs).