Prev Up Next
Go backward to Generic Java--Making the Future Safe for the Past
Martin Odersky, joint work with Philip Wadler and Enno Runne

Go up to Language Design or Extensions
Go forward to Xroma: Extensible Translation
Daveed Vandevoorde


Generic Programming in SuchThat
Sibylle Schupp

SuchThat is a purely generic programming language under active development. Focusing on type checking issues of generic programming we explain the requirements of a type system for a generic language and give a rationale for the SuchThat type system. We illustrate the challenge of type checking parameterized and attributed structures with examples from computer algebra, and present the implication calculus as a formalism that models well the instantiation of generic algorithms.


 

Prev Up Next