Dataset - CKAN

Namely, Painless: A unifying approach to safe programming with first-order sy...

This dissertation describes a novel approach to safe meta-programming. A meta-program is a program which processes programs or similar data. Compilers and theorem...
- HTML

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