18429 search results - page 233 / 3686 » Typing dynamic typing |
198
click to vote
FOSSACS
2012
Springer
14 years 2 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
177
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
We propose a novel algorithm for segmenting multiple motions of different types from point correspondences in multiple affine or perspective views. Since point trajectories associ...
170
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Kazuhiro Terajima The University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-8656 Japan Kazuhiro_Terajima@ipc.i.u-tokyo.ac.jp Takashi Komuro The University of Tokyo 7-3-1 Hongo, Bu...
157
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...
156
click to vote
DCC
2003
IEEE
16 years 6 months ago
2003
IEEE
In this paper we construct an infinite series of (q + t, t)-arcs of type (0, 2, t). We show that this construction includes the Korchm?aros-Mazzocca arcs, and we gain new infinite...