Sciweavers

3 search results - page 1 / 1
» fp 1995
Sort
View
FP
1995
156views Formal Methods» more  FP 1995»
13 years 8 months ago
Type Reconstruction for SCI
We present a type reconstruction algorithm for SCIR 10], a type system for a language with syntactic control of interference. SCIR guarantees that terms of passive type do not cau...
Howard Huang, Uday S. Reddy
FP
1995
110views Formal Methods» more  FP 1995»
13 years 8 months ago
Using Types to Parse Natural Language
We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and phrases. This stands in contrast to studies of type...
Mark P. Jones, Paul Hudak, Sebastian Shaumyan
IWANN
1995
Springer
13 years 8 months ago
An Application of the Saturated Attractor Analysis to Three Typical Models
The saturated attractor analysis, an approach proposed first in [FP] for a comprehensive study of the dynamics of the Linsker model and then successfully applied to the dynamic li...
Jianfeng Feng, Brunello Tirozzi