Detecting poorly textured objects and estimating their 3D pose reliably is still a very
challenging problem. We introduce a simple but powerful approach to computing descriptors …

Distributed applications are traditionally developed as separate modules, often in different
languages, which react to events, like user input, and in turn produce new events for the …

Functional reactive programming (FRP) is an elegant approach to declaratively specify
reactive systems. However, the powerful abstractions of FRP have historically made it …

Given that (co) inductive types are naturally modelled as fixed points, it is unsurprising that
fixed-point logics are of interest in the study of programming languages, via the Curry …

Reactive systems that operate in environments with complex data, such as mobile apps or
embedded controllers with many sensors, are difficult to synthesize. Synthesis tools usually …

Guarded recursion in the sense of Nakano allows general recursive types and terms to be
added to type theory without breaking consistency. Recent work has demonstrated …

Reactive programming is a recent programming technique that provides dedicated
language abstractions for reactive software. Reactive programming relieves developers from …

Over the past decade, a number of languages for functional reactive programming (FRP)
have been suggested, which use modal types to ensure properties like causality …

Functional reactive programming (FRP) is a paradigm for programming with signals and
events, allowing the user to describe reactive programs on a high level of abstraction. For …

The reactive programming paradigm aims to simplify the development of reactive systems. It
provides abstractions to define time-changing values that are automatically updated by the …