Search Sciweavers | Sciweavers

2956 search results - page 5 / 592

» Databases and Higher Types

click to vote

WCRE
2005
IEEE

80views Software Engineering» more WCRE 2005»

Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages

15 years 3 months ago

Download www.ccs.neu.edu

— Chuck is a new code browser that allows navigation of a code base along semantic structures, such as data-ﬂow and higher-order control-ﬂow relationships. Employing the fast...

S. Alexander Spoon, Olin Shivers

claim paper

Read More »

click to vote

SIAMIS
2010

114views more SIAMIS 2010»

Improved Total Variation-Type Regularization Using Higher Order Edge Detectors

14 years 8 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 »

click to vote

ESOP
2008
Springer

126views Programming Languages» more ESOP 2008»

Practical Programming with Higher-Order Encodings and Dependent Types

14 years 11 months ago

Download www.cs.yale.edu

Abstract. Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order a...

Adam Poswolsky, Carsten Schürmann

claim paper

Read More »

Voted

CIE
2009
Springer

95views Applied Computing» more CIE 2009»

Computability of Continuous Solutions of Higher-Type Equations

15 years 4 months ago

Download www.cs.bham.ac.uk

Martín Hötzel Escardó

claim paper

Read More »