Sciweavers

18429 search results - page 374 / 3686
» Typing dynamic typing
Sort
View
MSCS
2006
87views more  MSCS 2006»
15 years 6 months ago
Addressed term rewriting systems: application to a typed object calculus
Daniel J. Dougherty, Pierre Lescanne, Luigi Liquor...
SCP
2008
55views more  SCP 2008»
15 years 6 months ago
XPi: A typed process calculus for XML messaging
Lucia Acciai, Michele Boreale
SIAMCOMP
2008
95views more  SIAMCOMP 2008»
15 years 6 months ago
On the Algorithmic Aspects of Discrete and Lexicographic Helly-Type Theorems and the Discrete LP-Type Model
Helly's theorem says that, if every d+1 elements of a given finite set of convex objects in Rd have a common point, there is a point common to all of the objects in the set. I...
Nir Halman
SIAMDM
2008
118views more  SIAMDM 2008»
15 years 6 months ago
Ramsey-Type Problem for an Almost Monochromatic K4
In this short note we prove that there is a constant c such that every k-edge-coloring of the complete graph Kn with n 2ck contains a K4 whose edges receive at most two colors. Th...
Jacob Fox, Benny Sudakov