Sciweavers

1392 search results - page 13 / 279
» Staging generic programming
Sort
View
PLPV
2010
ACM
15 years 9 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
102
Voted
ICFP
2006
ACM
16 years 7 days 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
129
Voted
PGLDB
2003
225views Database» more  PGLDB 2003»
15 years 1 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
16 years 7 days 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»
15 years 5 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