sorted by: recent | see :
popular
Content Tagged with staticanalysis + research
Epigram - a functional language with dependent types
Epigram is a dependently typed programming language and an interactive programming environment. Epigram has got a type system which is strong enough to express the behaviour of programs, the type checker then guarantees that the program is well behaved.
Haskell: del.icio.us tag/haskell
haskell
functional
research
languages
computerscience
staticanalysis
structureeditors
