Search Sciweavers | Sciweavers

5415 search results - page 16 / 1083

» The Implementation of Functional Programming Languages

132

click to vote

IGPL
2000

99views more IGPL 2000»

Linear Explicit Substitutions

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

click to vote

PLDI
2009
ACM

114views Programming Languages» more PLDI 2009»

An implementation and semantics for transactional memory introspection in Haskell

15 years 9 months ago

Download www.ru.is

Arnar Birgisson, Úlfar Erlingsson

claim paper

Read More »

click to vote

ASPLOS
2010
ACM

207views Programming Languages» more ASPLOS 2010»

Implementing the PGI Accelerator model

15 years 8 months ago

Download www12.cs.fau.de

Michael Wolfe

claim paper

Read More »

105

Voted

PLDI
2005
ACM

118views Programming Languages» more PLDI 2005»

Threads cannot be implemented as a library

15 years 7 months ago

Download www.hpl.hp.com

Hans-Juergen Boehm

claim paper

Read More »

100

click to vote

TOOLS
1999
IEEE

96views Programming Languages» more TOOLS 1999»

Contracts: From Analysis to C++ Implementation

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers