Search Sciweavers | Sciweavers

11909 search results - page 125 / 2382

» The Scheme Programming Language

click to vote

ERLANG
2007
ACM

109views Programming Languages» more ERLANG 2007»

Towards hard real-time Erlang

15 years 1 months ago

Download www.erlang.se

Vincenzo Nicosia

claim paper

Read More »

click to vote

HASKELL
2007
ACM

110views Programming Languages» more HASKELL 2007»

Uniform boilerplate and list processing

15 years 1 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

15 years 1 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

15 years 1 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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers