Formalization of generics for the .NET common language runtime.

Dachuan Yu Andrew Kennedy Don Syme

Published in: POPL (2004)

Keyphrases

genetic algorithm
operational semantics
logical language
language processing
programming language
natural language
language learning
case study
knowledge representation
general purpose
formal model
computer programs
data sets
high level
situation calculus
specification language
website