Publications associées à Programmation purement fonctionnelle

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

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Programmation purement fonctionnelle

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

Chattez avec Graph Search

Containers and Aggregates, Mutators and Isolates for Reactive Programming

Lightweight Snapshots and System-level Backtracking

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

Spores, Formally

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

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

On the Situated Semantics of Service Systems

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

A Flow-Insensitive, Modular Effect System for Purity