Sciweavers

1392 search results - page 13 / 279
» Staging generic programming
Sort
View
PLPV
2010
ACM
15 years 7 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
15 years 10 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»
14 years 12 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
15 years 10 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
74
Voted
VL
2003
IEEE
149views Visual Languages» more  VL 2003»
15 years 3 months 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