Dependently-Typed Programming in Scientific Computing - Examples from Economic Modelling.

Cezar Ionescu Patrik Jansson

Published in: IFL (2012)

Keyphrases

scientific computing
high performance computing
workflow management
higher order
programming language
computer systems
distributed memory
information technology
file system
databases
information systems
knowledge acquisition
graphics processing units