669 search results - page 12 / 134 » Haskell program coverage |
DSL
2009
13 years 6 months ago
2009
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...
HASKELL
2006
ACM
14 years 2 months ago
2006
ACM
In this article we present GenI, a chart based surface realisation tool implemented in Haskell. GenI takes as input a set of first order terms (the input semantics) and a grammar...
SCAM
2006
IEEE
14 years 2 months ago
2006
IEEE
Refactoring is about changing the design of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. Taking Haskell an...
ICFP
2004
ACM
14 years 8 months ago
2004
ACM
A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can b...