1729 search results - page 29 / 346 » Generic Haskell: Applications |
JFP
2010
13 years 8 months ago
2010
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...
3DPVT
2002
IEEE
14 years 2 months ago
2002
IEEE
A generic framework based on services for 3D information visualization is presented. The framework can support a wide range of applications and offers the flexibility to be tailor...
CAISE
2003
Springer
14 years 3 months ago
2003
Springer
Meta-models and Generic models have been built in the area of Information Systems to facilitate the task of system designers. It de-emphasises the view under which applications are...
ICALT
2008
IEEE
14 years 4 months ago
2008
IEEE
Future collaborative learning technologies are characterized by the CSCL community as highly malleable and flexible. A promising approach for meeting these expectations is to use ...
ESOP
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...