Search Sciweavers | Sciweavers

18429 search results - page 49 / 3686

» Typing dynamic typing

click to vote

POPL
2010
ACM

192views Programming Languages» more POPL 2010»

Type inference for datalog with complex type hierarchies

15 years 6 months ago

Download www.datalog20.com

Max Schäfer, Oege de Moor

claim paper

Read More »

click to vote

CHI
2009
ACM

138views Human Computer Interaction» more CHI 2009»

Expressive typing: a new way to sense typing pressure and its applications

15 years 6 months ago

Download dl.dropbox.com

Ken Iwasaki, Takashi Miyaki, Jun Rekimoto

claim paper

Read More »

click to vote

APLAS
2006
ACM

94views Programming Languages» more APLAS 2006»

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

15 years 5 months ago

Download www.itu.dk

Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey

claim paper

Read More »

click to vote

SAS
1997
Springer

90views Formal Methods» more SAS 1997»

Type-Directed Flow Analysis for Typed Intermediate Languages

15 years 4 months ago

Download www.cs.ucla.edu

Suresh Jagannathan, Stephen Weeks, Andrew K. Wrigh...

claim paper

Read More »

click to vote

TACS
1997
Springer

122views Software Engineering» more TACS 1997»

Sets in Types, Types in Sets

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers