4139 search results - page 287 / 828 » Designing and Implementing Combinator Languages |
128
Voted
MA
2000
Springer
15 years 8 months ago
2000
Springer
MobiDoc is a framework for building mobile compound documents, where the compound document can be dynamically composed of mobile agents and can migrate itself over a network as a w...
127
click to vote
TOOLS
2000
IEEE
15 years 9 months ago
2000
IEEE
It is impossible to implement one tool that supports all activities in software development. Thus, it is important to focus on integration of different tools, ideally giving devel...
152
click to vote
ECOOP
2012
Springer
13 years 7 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
149
click to vote
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...
136
click to vote
ICFP
2003
ACM
16 years 5 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...