The top documents tagged [contributions type theory]

Constraint-aware Schema Transformation Tiago Alves (UMinho & SIG) Joint work with: Paulo F. Silva & Joost Visser Tiago Alves (UMinho & SIG) Joint work.

Constraint-aware Schema Transformation Tiago Alves (UMinho & SIG) Joint work with: Paulo F. Silva & Joost Visser Tiago Alves (UMinho & SIG) Joint work.

216 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS