Notice détaillée
Titre
Haller, Philipp
Sciper ID
172057
Laboratoires affiliés
LAMP
Publications
A Programming Model and Foundation for Lineage-Based Distributed Computation
Actors that Unify Threads and Events
Capabilities for External Uniqueness
Containers and Aggregates, Mutators and Isolates for Reactive Programming
FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction
Implementing Joins using Extensible Pattern Matching
Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization
Scala actors: Unifying thread-based and event-based programming
Spores, Formally
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution
Voir toutes les publications (29)
Actors that Unify Threads and Events
Capabilities for External Uniqueness
Containers and Aggregates, Mutators and Isolates for Reactive Programming
FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction
Implementing Joins using Extensible Pattern Matching
Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization
Scala actors: Unifying thread-based and event-based programming
Spores, Formally
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution
Voir toutes les publications (29)
Toutes les ressources
Toutes les ressources
Le document apparaît dans
Authorities > People