4743 search results - page 449 / 949 » Introduction to Functional Programming |
184
click to vote
TLCA
2007
Springer
16 years 29 days ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
179
click to vote
ICALT
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper describes the design, development and qualitative evaluation of a web-based personalized assessment service of an object–oriented programming course at the University...
150
click to vote
APSEC
2005
IEEE
16 years 14 days ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
156
click to vote
APLAS
2005
ACM
16 years 12 days ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
257
click to vote
AIED
2005
Springer
16 years 12 days 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...