Sciweavers

7529 search results - page 7 / 1506
» The Modula-3 Type System
Sort
View
CN
1998
96views more  CN 1998»
13 years 7 months ago
Effective Personalization of Push-Type Systems - Visualizing Information Freshness
Hidekazu Sakagami, Tomonari Kamba, Atsushi Sugiura...
IGPL
1998
58views more  IGPL 1998»
13 years 7 months ago
Two Types of Multiple-Conclusion Systems
Hypersequents are nite sets of ordinary sequents. We show that multiple-conclusion sequents and single-conclusion hypersequents represent two di erent natural methods of switching...
Arnon Avron
SCP
1998
68views more  SCP 1998»
13 years 7 months ago
A Sound Polymorphic Type System for a Dialect of C
Geoffrey Smith, Dennis M. Volpano
JCNS
2010
56views more  JCNS 2010»
13 years 6 months ago
Spectrum of Lyapunov exponents of non-smooth dynamical systems of integrate-and-fire type
Douglas Zhou, Yi Sun, Aaditya V. Rangan, David Cai