Algebra of Programming Using Dependent Types.

Shin-Cheng Mu Hsiang-Shang Ko Patrik Jansson

Published in: MPC (2008)

Keyphrases

data model
neural network
programming language
real time
information retrieval
data structure
expressive power