1636 search results - page 221 / 328 » Type-Theoretic Functional Semantics |
219
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
In Japan, the “Period of Integrated Study” program to enhance practical skills began in elementary and secondary education in 2002. Most goals of this program involve meta-abil...
134
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
200
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
129
Voted
ISSAC
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
120
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...