375 search results - page 1 / 75 » Fast type reconstruction for dynamically typed programming l... |
324
click to vote
DLS
2009
15 years 5 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
218
Voted
SAC
2011
ACM
14 years 11 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
202
click to vote
PPDP
2001
Springer
16 years 16 days ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
216
click to vote
ESOP
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...