Sciweavers

Share
17 search results - page 1 / 4
» Cartesian Programming: The TransLucid Programming Language
Sort
View
COMPSAC
2009
IEEE
10 years 2 months ago
Cartesian Programming: The TransLucid Programming Language
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
John Plaice, Blanca Mancilla
ICFP
2007
ACM
10 years 11 months ago
On Barron and Strachey's cartesian product function
Olivier Danvy, J. Michael Spivey
ICALP
2009
Springer
10 years 12 months ago
On Cartesian Trees and Range Minimum Queries
We present new results on Cartesian trees with applications in range minimum queries and bottleneck edge queries. We introduce a cache-oblivious Cartesian tree for solving the ran...
Erik D. Demaine, Gad M. Landau, Oren Weimann
POPL
2007
ACM
10 years 12 months ago
Geometry of synthesis: a structured approach to VLSI design
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
Dan R. Ghica
PLPV
2012
ACM
8 years 7 months ago
LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
Alan Jeffrey
books