199 search results - page 17 / 40 » Combining Strict and Soft Typing in Functional Programming |
104
Voted
WFLP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Traditionally, machine learning algorithms such as decision tree learners have employed attribute-value representations. From the early 80's on people have started t...
99
Voted
FUIN
2006
15 years 13 days ago
2006
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., vi...
100
Voted
JFP
2008
15 years 12 days ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
81
Voted
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
88
Voted
JUCS
2008
15 years 11 days ago
2008
: Functional programs often combine separate parts of the program using intermediate data structures for communicating results. Programs so defined are easier to understand and mai...