Search Sciweavers | Sciweavers

10871 search results - page 114 / 2175

» A stable programming language

click to vote

HASKELL
2007
ACM

110views Programming Languages» more HASKELL 2007»

Uniform boilerplate and list processing

14 years 2 months ago

Download community.haskell.org

Neil Mitchell, Colin Runciman

claim paper

Read More »

click to vote

HASKELL
2007
ACM

112views Programming Languages» more HASKELL 2007»

Beauty in the beast

14 years 2 months ago

Download www.interbrand.com

Wouter Swierstra, Thorsten Altenkirch

claim paper

Read More »

click to vote

ICALP
2007
Springer

95views Programming Languages» more ICALP 2007»

Exotic Quantifiers, Complexity Classes, and Complete Problems

14 years 2 months ago

Download math-www.uni-paderborn.de

Peter Bürgisser, Felipe Cucker

claim paper

Read More »

click to vote

ICALP
2009
Springer

103views Programming Languages» more ICALP 2009»

Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types

14 years 2 months ago

Download rap.dsi.unifi.it

Lucia Acciai, Michele Boreale

claim paper

Read More »

click to vote

ECOOP
2006
Springer

84views Programming Languages» more ECOOP 2006»

Peak Objects

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers