Static Dependent Types for First Class Modules.

Mark A. Sheldon David K. Gifford

Published in: LISP and Functional Programming (1990)

Keyphrases

case study
multiscale
real time
neural network
real world
image processing
hidden markov models
multi class classification