199 search results - page 22 / 40 » Combining Strict and Soft Typing in Functional Programming |
147
click to vote
PLPV
2010
ACM
16 years 1 months ago
2010
ACM
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...
149
click to vote
PVM
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The MPI standard provides a way to send and receive complex combinations of datatypes (e.g., integers and doubles) with a single communication operation. The MPI standard...
152
click to vote
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, suppor...
154
click to vote
CONSTRAINTS
2008
15 years 4 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...
149
click to vote
ICFP
2002
ACM
16 years 4 months ago
2002
ACM
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...