Search Sciweavers | Sciweavers

18429 search results - page 395 / 3686

» Typing dynamic typing

152

click to vote

RTA
2010
Springer

91views Theoretical Computer Science» more RTA 2010»

The Undecidability of Type Related Problems in Type-free Style System F

15 years 5 months ago

Download drops.dagstuhl.de

We consider here a number of variations on the System F, that are predicative second-order systems whose terms are intermediate between the Curry style and Church style. The terms ...

Ken-etsu Fujita, Aleksy Schubert

claim paper

Read More »

135

Voted

SCP
2010

88views more SCP 2010»

Type-directed weaving of aspects for polymorphically typed functional languages

15 years 5 months ago

Download www.comlab.ox.ac.uk

Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Kh...

claim paper

Read More »

174

click to vote

SIAMIS
2010

114views more SIAMIS 2010»

Improved Total Variation-Type Regularization Using Higher Order Edge Detectors

15 years 5 months ago

Download math.asu.edu

We present a novel deconvolution approach to accurately restore piecewise smooth signals from blurred data. The ﬁrst stage uses Higher Order Total Variation restorations to obtai...

Wolfgang Stefan, Rosemary A. Renaut, Anne Gelb

claim paper

Read More »

185

Voted

TOPLAS
2010

93views more TOPLAS 2010»

Semantic foundations for typed assembly languages

15 years 5 months ago