Experience report: type-checking polymorphic units for astrophysics research in Haskell.

Takayuki Muranushi Richard A. Eisenberg

Published in: Haskell (2014)

Keyphrases

type checking
data types
database query languages
query processor
relational calculus
abstract data types
programming language
object model
query language
database
functional programming
high level
data structure
knowledge discovery
management system