3001 search results - page 119 / 601 » Recursive type generativity |
164
click to vote
IFL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...
315
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
132
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We show how the binary encoding and decoding of typed data and typed programs can be understood, programmed, and verified with the help of question-answer games. The encoding of a...
159
click to vote
OHS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The Construct development environment is targeted at the construction of different types of hypermedia services. The primary goal of the environment is to ease the constr...
156
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
Given a nonlinear system and a performance index to be minimized, we present a general approach to expressing the finite time optimal feedback control law applicable to different ...