Search Sciweavers | Sciweavers

5415 search results - page 16 / 1083

» The Implementation of Functional Programming Languages

152

click to vote

IGPL
2000

99views more IGPL 2000»

Linear Explicit Substitutions

15 years 4 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 »

110

click to vote

PLDI
2009
ACM

114views Programming Languages» more PLDI 2009»

An implementation and semantics for transactional memory introspection in Haskell

15 years 11 months ago

Download www.ru.is

Arnar Birgisson, Úlfar Erlingsson

claim paper

Read More »

106

click to vote

ASPLOS
2010
ACM

207views Programming Languages» more ASPLOS 2010»

Implementing the PGI Accelerator model

15 years 11 months ago

Download www12.cs.fau.de

Michael Wolfe

claim paper

Read More »

123

click to vote

PLDI
2005
ACM

118views Programming Languages» more PLDI 2005»

Threads cannot be implemented as a library

15 years 10 months ago

Download www.hpl.hp.com

Hans-Juergen Boehm

claim paper

Read More »

118

click to vote

TOOLS
1999
IEEE

96views Programming Languages» more TOOLS 1999»

Contracts: From Analysis to C++ Implementation

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers