Generic and Indexed Programming - 9783642322013

Generic and Indexed Programming International Spring School SSGIP

Backhouse - Datatype-Generic Programming International Spring School - X555z

Gibbons - Bidirectional Transformations International Summer School - X555z

Jeuring - Advanced Functional Programming First International Spring - X555z

Gibbons - Teaching Formal Methods Second International Conference Tf - X555z

Shaffer - Kubla Khan and the Fall of Jerusalem The Mythological Schoo - X555z

De Young - Surviving the Transition Case Studies of Schools and Schoo - X555z