Sciweavers

18429 search results - page 340 / 3686

» Typing dynamic typing

174

Voted

GFKL
2006
Springer

82views Data Mining» more GFKL 2006»

Classifying German Questions According to Ontology-Based Answer Types

15 years 11 months ago

Classifying German Questions According to Ontology-Based Answer Types

Download www.lsv.uni-saarland.de

Adriana Davidescu, Andrea Heyl, Stefan Kazalski, I...

claim paper

Read More »

180

APLAS
2001
ACM

90views Programming Languages» more APLAS 2001»

A Type System for the Push-Enter Model

15 years 11 months ago

A Type System for the Push-Enter Model

Download www.jaist.ac.jp

Kwanghoon Choi, Taisook Han

claim paper

Read More »

161

Voted

APLAS
2001
ACM

74views Programming Languages» more APLAS 2001»

Simple Type Inference for Structural Polymorphism

15 years 11 months ago

Simple Type Inference for Structural Polymorphism

Download caml.inria.fr

Jacques Garrigue

claim paper

Read More »

156

APLAS
2003
ACM

96views Programming Languages» more APLAS 2003»

Expressive Synchronization Types for Inheritance in the Join Calculus

15 years 11 months ago

Expressive Synchronization Types for Inheritance in the Join Calculus

Download hal.archives-ouvertes.fr

Qin Ma 0002, Luc Maranget

claim paper

Read More »

237

ASYNC
2001
IEEE

164views Hardware» more ASYNC 2001»

Synthesis and Implementation of a Signal-Type Asynchronous Data Communication Mechanism

15 years 11 months ago

Synthesis and Implementation of a Signal-Type Asynchronous Data Communication Mechanism

Download www.cs.ncl.ac.uk

This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...

Alexandre Yakovlev, Fei Xia, Delong Shang

claim paper

Read More »

« Prev « First page 340 / 3686 Last » Next »