Sciweavers

27119 search results - page 212 / 5424
» Languages
Sort
View
127
Voted
PPDP
2009
Springer
16 years 1 days ago
The RPC calculus
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
Ezra Cooper, Philip Wadler
HASKELL
2009
ACM
16 years 1 days ago
Types are calling conventions
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
Maximilian C. Bolingbroke, Simon L. Peyton Jones