Search Sciweavers | Sciweavers

27119 search results - page 166 / 5424

» Languages

176

click to vote

GPCE
2008
Springer

105views Programming Languages» more GPCE 2008»

Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement

15 years 8 months ago

Download www.infosun.fim.uni-passau.de

Sven Apel, Christian Kästner, Christian Lenga...

claim paper

Read More »

142

click to vote

HASKELL
2008
ACM

124views Programming Languages» more HASKELL 2008»

Haskell session types with (almost) no class

15 years 8 months ago

Download www.ccs.neu.edu

Riccardo Pucella, Jesse A. Tov

claim paper

Read More »

154

click to vote

HASKELL
2008
ACM

133views Programming Languages» more HASKELL 2008»

Smallcheck and lazy smallcheck: automatic exhaustive testing for small values

15 years 8 months ago

Download www.cs.york.ac.uk

Colin Runciman, Matthew Naylor, Fredrik Lindblad

claim paper

Read More »

147

click to vote

HASKELL
2008
ACM

128views Programming Languages» more HASKELL 2008»

Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime

15 years 8 months ago

Download www.haskell.org

Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink

claim paper

Read More »

134

Voted

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers