Search Sciweavers | Sciweavers

10575 search results - page 128 / 2115

» Programming Languages

250

click to vote

Book

351views

The Implementation of Functional Programming Languages

17 years 2 months ago

Download research.microsoft.com

A great book about the Implementation of Functional Programming Languages.

Simon Peyton Jones

posted by scimaster

Read More »

197

click to vote

POPL
2002
ACM

101views Programming Languages» more POPL 2002»

Types as models: model checking message-passing programs

16 years 5 months ago

Download www.cs.cmu.edu

Sagar Chaki, Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

118

click to vote

ICFP
2008
ACM

124views Programming Languages» more ICFP 2008»

Bialgebra views: a way for polytypic programming to cohabit with data abstraction

16 years 4 months ago

Download babel.ls.fi.upm.es

Juan José Moreno-Navarro, Pablo Nogueira

claim paper

Read More »

111

click to vote

ICFP
2006
ACM

124views Programming Languages» more ICFP 2006»

Stabilizers: a modular checkpointing abstraction for concurrent functional programs

16 years 4 months ago

Download www.cs.purdue.edu

Lukasz Ziarek, Philip Schatz, Suresh Jagannathan

claim paper

Read More »

109

click to vote

ICFP
2007
ACM

95views Programming Languages» more ICFP 2007»

Extensible pattern matching via a lightweight language extension

16 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers