Alloy: fast generic transformations for Haskell.

Neil C. C. Brown Adam T. Sampson

Published in: Haskell (2009)

Keyphrases

programming language
plagiarism detection
database
high level
object recognition
data sets
case study
three dimensional
video sequences
digital libraries
domain specific
generic model
mechanical properties
functional programming