Search Sciweavers | Sciweavers

4190 search results - page 20 / 838

» Type Class Directives

123

click to vote

ICFP
1999
ACM

75views Programming Languages» more ICFP 1999»

Type Dispatch for Named Hierarchical Types

15 years 6 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 »

117

click to vote

CONCUR
2005
Springer

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

Type-Directed Concurrency

15 years 8 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 »

100

Voted

PPDP
1999
Springer

107views Programming Languages» more PPDP 1999»

A Semantic Account of Type-Directed Partial Evaluation

15 years 6 months ago