17 search results - page 3 / 4 » Polymorphic typed defunctionalization and concretization |
SAC
2008
ACM
13 years 4 months ago
2008
ACM
A key benefit of generic programming is its support for producing modules with clean separation. In particular, generic algorithms are written to work with a wide variety of unmod...
JFP
2007
13 years 5 months ago
2007
Haskell’s popularity has driven the need for ever more expressive type system features, most of which threaten the decidability and practicality of Damas-Milner type inference. ...
SBIA
2010
Springer
13 years 3 months ago
2010
Springer
Most of modern constraint modeling languages combine rich constraint languages with mathematical notations to tackle combinatorial optimization problems. Our purpose is to introduc...
APLAS
2008
ACM
13 years 7 months ago
2008
ACM
Abstract. Exceptions are an indispensable part of modern programming languages. They are, however, handled poorly, especially by higherorder languages such as Standard ML and Haske...
ICSM
2009
IEEE
13 years 12 months ago
2009
IEEE
Mainstream IDEs such as Eclipse support developers in managing software projects mainly by offering static views of the source code. Such a static perspective neglects any informa...