2335 search results - page 67 / 467 » Type Checking Type Classes |
101
Voted
IJCNN
2008
IEEE
15 years 8 months ago
2008
IEEE
— In this paper, we propose a new type of neural adaptive control via dynamic neural networks. For a class of unknown nonlinear systems, a neural identifierFbased feedback linea...
128
Voted
FCT
2005
Springer
15 years 7 months ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
106
Voted
ICFP
1996
ACM
15 years 6 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
120
click to vote
DAGSTUHL
1998
15 years 3 months ago
1998
We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while...
147
Voted
SAS
1994
Springer
15 years 6 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...