7529 search results - page 176 / 1506 » The Modula-3 Type System |
91
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including impl...
146
click to vote
AFP
1995
Springer
15 years 8 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
188
Voted
AMC
2011
15 years 3 days ago
2011
This is a companion paper of [1] and [2]. In the cited papers, using the C-algorithm introduced in [3], many new examples of isochronous centers for Li´enard type equation are fou...
165
Voted
CORR
2011
Springer
15 years 2 days ago
2011
Springer
Finite trace semantics is known and well understood for classical automata and non-deterministic labelled transition systems. Jacobs et al introduced a more general definition fo...
149
click to vote
AIED
2011
Springer
14 years 8 months ago
2011
Springer
We investigate whether an overall student disengagement label and six different labels of disengagement type are predictive of learning in a spoken dialog computer tutoring corpus...