Search Sciweavers | Sciweavers

10575 search results - page 313 / 2115

» T2Script Programming Language

138

click to vote

APLAS
2006
ACM

94views Programming Languages» more APLAS 2006»

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

16 years 20 days ago

Download www.itu.dk

Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey

claim paper

Read More »

167

click to vote

HASKELL
2006
ACM

117views Programming Languages» more HASKELL 2006»

Extended static checking for haskell

16 years 20 days ago

Download pauillac.inria.fr

Dana N. Xu

claim paper

Read More »

137

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 7 days ago

Download www.sable.mcgill.ca

Feng Qian, Laurie J. Hendren

claim paper

Read More »

149

Voted

CC
2005
Springer

91views System Software» more CC 2005»

Optimizing C Multithreaded Memory Management Using Thread-Local Storage

16 years 7 days ago

Download www.cs.tau.ac.il

Yair Sade, Shmuel Sagiv, Ran Shaham

claim paper

Read More »

125

click to vote

CP
2005
Springer

87views Artificial Intelligence» more CP 2005»

Statistical Modelling of CSP Solving Algorithms Performance

16 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers