Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

Dirk Dussart Fritz Henglein Christian Mossin

Published in: SAS (1995)

Keyphrases

static analysis
data sets
website
data analysis
databases
information retrieval
statistical analysis
approximation algorithms