Sciweavers

1392 search results - page 13 / 279
» Staging generic programming
Sort
View
PLPV
2010
ACM
14 years 4 months ago
Arity-generic datatype-generic programming
Some programs are doubly-generic. For example, map is datatypegeneric in that many different data structures support a mapping operation. A generic programming language like Gener...
Stephanie Weirich, Chris Casinghino
ICFP
2006
ACM
14 years 7 months ago
Context-parametric polykinded types
Generic Haskell is a language extension of Haskell for polytypic programming. Constrained types are parametric algebraic types with at least one argument constrained by type-class...
Pablo Nogueira
PGLDB
2003
225views Database» more  PGLDB 2003»
13 years 9 months ago
The Various Stages of an Instructional Systems Development Methodology for e-learning Modules
This paper reports the efforts which have been made towards a methodology based on elearning objects for the development of PGL modules. The Partnership in Global Learning (PGL) P...
Lúcia Blondet Baruque, Rubens N. Melo
ICFP
2008
ACM
14 years 7 months ago
Scala for generic programmers
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...
Bruno C. D. S. Oliveira, Jeremy Gibbons
VL
2003
IEEE
149views Visual Languages» more  VL 2003»
14 years 27 days ago
A program visualization tool for program comprehension
At the beginning stage of programming education, comprehending program logics plays a more important role than capturing knowledge of a specific program language. In this paper, t...
Mikio Ohki, Yasuo Hosaka