Publications related to Purely functional programming

Containers and Aggregates, Mutators and Isolates for Reactive Programming

Martin Odersky, Philipp Haller, Aleksandar Prokopec

Many programs have an inherently reactive nature imposed by the functional dependencies between their data and external events. Classically, these dependencies are dealt with using callbacks. Reactive programming with first-class reactive values is a parad ...

2014

Lightweight Snapshots and System-level Backtracking

George Candea, Edouard Bugnion, Vitaly Chipounov

We propose a new system-level abstraction, the lightweight immutable execution snapshot, which combines the immutable characteristics of checkpoints with the direct integration into the virtual memory subsystem of standard mutable address spaces. The abstr ...

USENIX2013

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

Martin Odersky, Philipp Haller, Eugene Burmako

As more applications migrate to the cloud, and as “big data” edges into even more production environments, the performance and simplicity of exchanging data between compute nodes/devices is increasing in importance. An issue central to distributed programm ...

2013

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

Martin Odersky, Philipp Haller, Eugene Burmako

As more applications migrate to the cloud, and as "big data" edges into even more production environments, the performance and simplicity of exchanging data between compute nodes/devices is increasing in importance. An issue central to distributed programm ...

Assoc Computing Machinery2013

A Flow-Insensitive, Modular Effect System for Purity

Martin Odersky, Nada Amin, Lukas Rytz

This article presents a modular, flow-insensitive type-and- effect system for purity with lightweight annotations. It does not enforce a global programming discipline and allows ar- bitrary effects to occur in impure parts of the program. The system is des ...

2013

Fourier Analysis Of Stationary Time Series In Function Space

Victor Panaretos, Shahin Tavakoli

We develop the basic building blocks of a frequency domain framework for drawing statistical inferences on the second-order structure of a stationary sequence of functional data. The key element in such a context is the spectral density operator, which gen ...

Institute of Mathematical Statistics2013

Distribution of arm velocity and frequency of arm usage during daily activity: objective outcome evaluation after shoulder surgery

Kamiar Aminian, Alain Farron, Brigitte Jolles-Haeberli, Cyntia Duc

In clinical settings, functional evaluation of shoulder movement is primarily based on what the patient thinks he/she is able to do rather than what he/she is actually performing. We proposed a new approach for shoulder assessment based on inertial sensors ...

Elsevier2013

On the Situated Semantics of Service Systems

Alain Wegmann, Anshuman Bahadur Saxena

Service System refers to the group of entities that work together to implement a service. An important challenge for the service designer is to organize her conceptualization of the service in a way that helps her identify the functional components require ...

2013

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Purely functional programming

Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution

Containers and Aggregates, Mutators and Isolates for Reactive Programming

Lightweight Snapshots and System-level Backtracking

Spores, Formally

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

A Flow-Insensitive, Modular Effect System for Purity

Fourier Analysis Of Stationary Time Series In Function Space

Distribution of arm velocity and frequency of arm usage during daily activity: objective outcome evaluation after shoulder surgery

On the Situated Semantics of Service Systems

Graph Chatbot

Chat with Graph Search

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

Spores, Formally

Containers and Aggregates, Mutators and Isolates for Reactive Programming

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

A Flow-Insensitive, Modular Effect System for Purity

On the Situated Semantics of Service Systems

Lightweight Snapshots and System-level Backtracking

Fourier Analysis Of Stationary Time Series In Function Space

Distribution of arm velocity and frequency of arm usage during daily activity: objective outcome evaluation after shoulder surgery