1131 search results - page 129 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
103
Voted
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
A variety of application domains are interactive in nature: a primary task involves responding to external actions. In this paper, we introduce explicit programming language suppor...
116
Voted
NJC
2006
15 years 2 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
109
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
252
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
118
Voted
ACMSE
2006
ACM
15 years 6 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....