Sciweavers

7124 search results - page 305 / 1425
» Programming Languages and Operating Systems
Sort
View
TOOLS
2010
IEEE
15 years 5 months ago
Understanding the Impact of Collection Contracts on Design
Abstract. Java provides a specification for a user-defined general purpose equivalence operator for objects, but collections such as Set have more stringent requirements. This in...
Stephen Nelson, David J. Pearce, James Noble
ESOP
2009
Springer
16 years 1 months ago
Modular Monad Transformers
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...
Mauro Jaskelioff
PADL
2009
Springer
16 years 7 months ago
Recycle Your Arrays!
Abstract. Purely functional arrays are notoriously difficult to implement and use efficiently due to the absence of destructive updates and the resultant frequent copying. Deforest...
Roman Leshchinskiy
DAGSTUHL
2003
15 years 8 months ago
PiLib: A Hosted Language for Pi-Calculus Style Concurrency
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
Vincent Cremet, Martin Odersky
PLDI
2009
ACM
16 years 7 months ago
Automatic generation of library bindings using static analysis
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben...