1828 search results - page 44 / 366 » First-Class Type Classes |
113
click to vote
AMC
2006
15 years 2 months ago
2006
The Fisher equation, which arises in the study of reaction diffusion waves in biology, does not display a high level of symmetry properties. Consequently, only travelling wave sol...
115
click to vote
COMBINATORICS
2000
15 years 2 months ago
2000
We define type-B analogues of combinatorial statistics previously studied on noncrossing partitions and show that analogous equidistribution and symmetry properties hold in the ca...
112
click to vote
OOPSLA
1991
Springer
15 years 6 months ago
1991
Springer
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...
106
click to vote
JCT
2006
15 years 2 months ago
2006
Consider two locally finite rooted trees as equivalent if each of them is a topological minor of the other, with an embedding preserving the tree-order. Answering a question of va...
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— The problem of exact null-controllability is considered for a wide class of linear neutral type systems with distributed delay. The main tool of the analysis is the app...