Sciweavers

18429 search results - page 394 / 3686
» Typing dynamic typing
Sort
View
JFP
2010
63views more  JFP 2010»
15 years 5 months ago
Parametricity, type equality, and higher-order polymorphism
Dimitrios Vytiniotis, Stephanie Weirich
JOLLI
2010
142views more  JOLLI 2010»
15 years 5 months ago
Towards a Type-Theoretical Account of Lexical Semantics
After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montaguestyle sema...
Christian Bassac, Bruno Mery, Christian Retor&eacu...
OOPSLA
2010
Springer
15 years 5 months ago
Concurrent programming with revisions and isolation types
Sebastian Burckhardt, Alexandro Baldassin, Daan Le...
PROCEDIA
2010
123views more  PROCEDIA 2010»
15 years 5 months ago
Mean square convergence of a semidiscrete scheme for SPDEs of Zakai type driven by square integrable martingales
In this short note, a direct proof of L2 convergence of an Euler–Maruyama approximation of a Zakai equation driven by a square integrable martingale is shown. The order of conve...
Annika Lang