3273 search results - page 68 / 655 » types 2007 |
109
click to vote
TLCA
2007
Springer
15 years 6 months 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...
APAL
2002
14 years 11 months ago
2002
We consider a notion of sequential functional of finite type, more generous than the familiar notion embodied in Plotkin's language PCF. We study both the "full" an...
BCSHCI
2007
15 years 1 months ago
2007
This paper describes an empirical study on typing errors made by children during a text copy exercise. The literature on text input errors is first examined, focussing on studies ...
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a java...
ICWE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. It is more convenient to talk about changes in a domainspecific way than to formulate them at the programming construct level or—even worse—purely lexical level. Usi...