Search Sciweavers | Sciweavers

10575 search results - page 313 / 2115

» T2Script Programming Language

148

click to vote

APLAS
2006
ACM

94views Programming Languages» more APLAS 2006»

Principal Type Inference for GHC-Style Multi-parameter Type Classes

16 years 1 months ago

Download www.itu.dk

Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey

claim paper

Read More »

173

Voted

HASKELL
2006
ACM

117views Programming Languages» more HASKELL 2006»

Extended static checking for haskell

16 years 1 months ago

Download pauillac.inria.fr

Dana N. Xu

claim paper

Read More »

153

click to vote

CC
2005
Springer

112views System Software» more CC 2005»

A Study of Type Analysis for Speculative Method Inlining in a JIT Environment

16 years 24 days ago

Download www.sable.mcgill.ca

Feng Qian, Laurie J. Hendren

claim paper

Read More »

167

click to vote

CC
2005
Springer

91views System Software» more CC 2005»

Optimizing C Multithreaded Memory Management Using Thread-Local Storage

16 years 24 days ago

Download www.cs.tau.ac.il

Yair Sade, Shmuel Sagiv, Ran Shaham

claim paper

Read More »

142

click to vote

CP
2005
Springer

87views Artificial Intelligence» more CP 2005»

Statistical Modelling of CSP Solving Algorithms Performance

16 years 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers