18429 search results - page 75 / 3686 » Typing dynamic typing |
145
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Coevolutionary systems like hosts and their parasites are commonly used model systems for evolutionary studies. Inferring the coevolutionary history based on given phy...
126
click to vote
JUCS
2008
15 years 4 months ago
2008
: Presentation types are used in the CLIM interface library to tag graphical output with a type and establish an input type context in which the user may use the keyboard to type i...
128
click to vote
TYPES
2007
Springer
15 years 10 months ago
2007
Springer
This paper gives a characterisation, via intersection types, of the strongly normalising terms of an intuitionistic sequent calculus (where LJ easily embeds). The soundness of the ...
136
click to vote
LFCS
1994
Springer
15 years 8 months ago
1994
Springer
We study the cube of type assignment systems, as introduced in [13], and confront it with Barendregt's typed -cube [4]. The first is obtained from the latter through applying...
122
click to vote
JGAA
2007
15 years 4 months ago
2007
Spectral methods are naturally suited for dynamic graph layout because, usually, moderate changes of a graph yield moderate changes of the layout. We discuss some general principl...