Search Sciweavers | Sciweavers

11909 search results - page 125 / 2382

» The Scheme Programming Language

171

Voted

ERLANG
2007
ACM

109views Programming Languages» more ERLANG 2007»

Towards hard real-time Erlang

15 years 11 months ago

Download www.erlang.se

Vincenzo Nicosia

claim paper

Read More »

166

click to vote

HASKELL
2007
ACM

110views Programming Languages» more HASKELL 2007»

Uniform boilerplate and list processing

15 years 11 months ago

Download community.haskell.org

Neil Mitchell, Colin Runciman

claim paper

Read More »

173

click to vote

HASKELL
2007
ACM

112views Programming Languages» more HASKELL 2007»

Beauty in the beast

15 years 11 months ago

Download www.interbrand.com

Wouter Swierstra, Thorsten Altenkirch

claim paper

Read More »

178

Voted

ICALP
2007
Springer

95views Programming Languages» more ICALP 2007»

Exotic Quantifiers, Complexity Classes, and Complete Problems

15 years 11 months ago

Download math-www.uni-paderborn.de

Peter Bürgisser, Felipe Cucker

claim paper

Read More »

181

click to vote

ICALP
2009
Springer

103views Programming Languages» more ICALP 2009»

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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers