2272 search results - page 303 / 455 » A Calculus for |
160
click to vote
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
233
click to vote
Book
This book is aimed at senior undergraduates and graduate students in Engineering, Science, Mathematics, and Computing. It expects familiarity with calculus, probability theory, and...
125
click to vote
MICCAI
2007
Springer
16 years 5 months ago
2007
Springer
We present a novel method to track a guidewire in cardiac x-ray video. Using variational calculus, we derive differential equations that deform a spline, subject to intrinsic and e...
231
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
247
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...