Constraint-Based Model Types


Additional Material

This page contains additional material for the paper "Towards Constraint-Based Model Types: A Generalised Formal Foundation for Model Genericity". In particular, you can obtain the following:

Appendix

appendix.pdf

The appendix containing the type derivation for the extended example.





Last changed: April 24, 2014