Search Sciweavers | Sciweavers

10575 search results - page 258 / 2115

» Programming Languages

147

click to vote

UM
2007
Springer

123views Programming Languages» more UM 2007»

Maximizing the Utility of Situated Public Displays

16 years 14 days ago

Download ifgi.uni-muenster.de

Jörg Müller, Antonio Krüger, Tsvi K...

claim paper

Read More »

142

Voted

APLAS
2006
ACM

97views Programming Languages» more APLAS 2006»

Type Processing by Constraint Reasoning

16 years 10 days ago

Download ww2.cs.mu.oz.au

Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny

claim paper

Read More »

130

click to vote

APLAS
2006
ACM

94views Programming Languages» more APLAS 2006»

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

16 years 10 days ago

Download www.itu.dk

Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey

claim paper

Read More »

159

click to vote

HASKELL
2006
ACM

117views Programming Languages» more HASKELL 2006»

Extended static checking for haskell

16 years 10 days ago

Download pauillac.inria.fr

Dana N. Xu

claim paper

Read More »

130

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

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers