Search Sciweavers | Sciweavers

5415 search results - page 16 / 1083

» The Implementation of Functional Programming Languages

181

Voted

IGPL
2000

99views more IGPL 2000»

Linear Explicit Substitutions

15 years 5 months ago

Download folli.loria.fr

Abstract Neil Ghani Valeria de Paiva Eike Ritter The -calculus 1 adds explicit substitutions to the -calculus so as to provide a theoretical framework within which the implement...

Neil Ghani, Valeria de Paiva, Eike Ritter

claim paper

Read More »

128

Voted

PLDI
2009
ACM

114views Programming Languages» more PLDI 2009»

An implementation and semantics for transactional memory introspection in Haskell

16 years 18 days ago

Download www.ru.is

Arnar Birgisson, Úlfar Erlingsson

claim paper

Read More »

122

click to vote

ASPLOS
2010
ACM

207views Programming Languages» more ASPLOS 2010»

Implementing the PGI Accelerator model

16 years 9 days ago

Download www12.cs.fau.de

Michael Wolfe

claim paper

Read More »

137

click to vote

PLDI
2005
ACM

118views Programming Languages» more PLDI 2005»

Threads cannot be implemented as a library

15 years 11 months ago

Download www.hpl.hp.com

Hans-Juergen Boehm

claim paper

Read More »

138

Voted

TOOLS
1999
IEEE

96views Programming Languages» more TOOLS 1999»

Contracts: From Analysis to C++ Implementation

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers