Search Sciweavers | Sciweavers

4190 search results - page 20 / 838

» Type Class Directives

click to vote

ICFP
1999
ACM

75views Programming Languages» more ICFP 1999»

Type Dispatch for Named Hierarchical Types

13 years 12 months ago

Download www.cs.cornell.edu

Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...

Neal Glew

claim paper

Read More »

click to vote

CONCUR
2005
Springer

88views Distributed And Parallel Com...» more CONCUR 2005»

Type-Directed Concurrency

14 years 1 months ago

Download www.cs.cmu.edu

Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...

Deepak Garg, Frank Pfenning

claim paper

Read More »

click to vote

PPDP
1999
Springer

107views Programming Languages» more PPDP 1999»

A Semantic Account of Type-Directed Partial Evaluation

13 years 12 months ago