On the public citation graph
Distributed system development with ScalaLoci
0 signed · 100 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1006/inco.1994.1093openalex-snapshot
A Syntactic Approach to Type Soundness
inferredcites →https://doi.org/10.1007/11693024_20openalex-snapshot
Embedding Dynamic Dataflow in a Call-by-Value Language
inferredcites →https://doi.org/10.1007/978-3-319-47958-3_20openalex-snapshot
Eliom: A Core ML Language for Tierless Web Programming
inferredcites →https://doi.org/10.1007/978-3-540-45070-2_5openalex-snapshot
Language Support for Connector Abstractions
inferredcites →https://doi.org/10.1007/978-3-540-74792-5_12openalex-snapshot
Links: Web Programming Without Tiers
inferredcites →https://doi.org/10.1007/978-3-540-78663-4_9openalex-snapshot
Type-Safe Distributed Programming with ML5
inferredcites →https://doi.org/10.1007/978-3-642-13953-6_3openalex-snapshot
Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks
inferredcites →https://doi.org/10.1007/978-3-642-39038-8_29openalex-snapshot
Higher-Order Reactive Programming with Incremental Lists
inferredcites →https://doi.org/10.1007/978-3-642-55099-7_7openalex-snapshot
Towards Reactive Programming for Object-Oriented Applications
inferredcites →https://doi.org/10.1007/978-3-662-44202-9_13openalex-snapshot
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution
inferredcites →https://doi.org/10.1016/0167-6423(92)90005-vopenalex-snapshot
The Esterel synchronous programming language: design, semantics, implementation
inferredcites →https://doi.org/10.1093/comjnl/bxh120openalex-snapshot
Taxonomy of Distributed Event-Based Programming Systems
inferredcites →https://doi.org/10.1109/5.97300openalex-snapshot
The synchronous data flow programming language LUSTRE
inferredcites →https://doi.org/10.1109/icdcsw.2002.1030837openalex-snapshot
Hermes: a distributed event-based middleware architecture
inferredcites →https://doi.org/10.1109/ipdpsw.2016.138openalex-snapshot
Benchmarking Streaming Computation Engines: Storm, Flink and Spark Streaming
inferredcites →https://doi.org/10.1109/tse.2018.2833109openalex-snapshot
On the Semantics of Distributed Reactive Programming: The Cost of Consistency
inferredcites →https://doi.org/10.1145/1040305.1040324openalex-snapshot
From sequential programs to multi-tier applications by program transformation
inferredcites →https://doi.org/10.1145/1236360.1236422openalex-snapshot
The regiment macroprogramming system
inferredcites →https://doi.org/10.1145/1345206.1345211openalex-snapshot
Type inference for locality analysis of distributed data structures
inferredcites →https://doi.org/10.1145/1596638.1596643openalex-snapshot
Push-pull functional reactive programming
inferredcites →https://doi.org/10.1145/1869459.1869489openalex-snapshot
Type classes as objects and implicits
inferredcites →https://doi.org/10.1145/195473.195481openalex-snapshot
Separating data and control transfer in distributed operating systems
inferredcites →https://doi.org/10.1145/2103621.2103665openalex-snapshot
Higher-order functional reactive programming in bounded space
inferredcites →https://doi.org/10.1145/2103656.2103665openalex-snapshot
Higher-order functional reactive programming in bounded space
inferredcites →https://doi.org/10.1145/2489837.2489840openalex-snapshot
Scala macros: let our powers combine!
inferredcites →https://doi.org/10.1145/2491956.2462161openalex-snapshot
Asynchronous functional reactive programming for GUIs
inferredcites →https://doi.org/10.1145/2635868.2635895openalex-snapshot
An empirical study on program comprehension with reactive programming
inferredcites →https://doi.org/10.1145/2661136.2661140openalex-snapshot
Multi-Tier Functional Reactive Programming for the Web
inferredcites →https://doi.org/10.1145/2661136.2661146openalex-snapshot
Towards Tierless Web Development without Tierless Languages
inferredcites →https://doi.org/10.1145/2716320openalex-snapshot
Partitioned Global Address Space Languages
inferredcites →https://doi.org/10.1145/2884781.2884815openalex-snapshot
Debugging for reactive programming
inferredcites →https://doi.org/10.1145/3001929.3001930openalex-snapshot
I now pronounce you reactive and consistent: handling distributed and replicated state in reactive programming
inferredcites →https://doi.org/10.1145/3009837.3009880openalex-snapshot
Stream fusion, to completeness
inferredcites →https://doi.org/10.1145/3055378.3055385openalex-snapshot
Vehicle Platooning Simulations with Functional Reactive Programming
inferredcites →https://doi.org/10.1145/3110246openalex-snapshot
Testing and debugging functional reactive programming
inferredcites →https://doi.org/10.1145/3141858.3141861openalex-snapshot
FRP IoT modules as a Scala DSL
inferredcites →https://doi.org/10.1145/3158130openalex-snapshot
Simplicitly: foundations and applications of implicit function types
inferredcites →https://doi.org/10.1145/3180155.3180156openalex-snapshot
Debugging data flows in reactive programs
inferredcites →https://doi.org/10.1145/380749.380767openalex-snapshot
Design and evaluation of a wide-area event notification service
inferredcites →https://doi.org/10.1145/581690.581695openalex-snapshot
Functional reactive programming, continued
inferredcites →https://doi.org/10.1145/857076.857078openalex-snapshot
The many faces of publish/subscribe
inferredcites →https://doi.org/10.22152/programming-journal.org/2017/1/12openalex-snapshot
Active Expressions: Basic Building Blocks for Reactive Programming
inferredcites →https://doi.org/10.4230/lipics.ecoop.2015.591openalex-snapshot
Streams a la carte: Extensible Pipelines with Object Algebras
inferredcites →https://doi.org/10.4230/lipics.ecoop.2018.1openalex-snapshot
Fault-tolerant Distributed Reactive Programming
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-31964-9_24openalex-snapshot
Issues on Performance of Reactive Programming in the Java Ecosystem with Persistent Data Sources
inferred← citeshttps://doi.org/10.1007/978-3-031-17436-0_2openalex-snapshot
Varda: A Framework for Compositional Distributed Programming
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_4openalex-snapshot
Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems
inferred← citeshttps://doi.org/10.1007/978-3-032-28358-0_6openalex-snapshot
ScalaTropy: Multiparty Coordination with Monadic Communication Primitives
inferred← citeshttps://doi.org/10.1016/j.iot.2024.101412openalex-snapshot
Dynamic IoT deployment reconfiguration: A global-level self-organisation approach
inferred← citeshttps://doi.org/10.1016/j.jss.2024.111976openalex-snapshot
The eXchange Calculus (XC): A functional programming language design for distributed collective systems
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102499openalex-snapshot
A polymorphic RPC calculus
inferred← citeshttps://doi.org/10.1109/acsos-c52956.2021.00033openalex-snapshot
Towards Pulverised Architectures for Collective Adaptive Systems through Multi-Tier Programming
inferred← citeshttps://doi.org/10.1109/acsos61780.2024.00020openalex-snapshot
Flexible Self-organisation for the Cloud-Edge Continuum: a Macro-programming Approach
inferred← citeshttps://doi.org/10.1109/csf51468.2021.00037openalex-snapshot
Language Support for Secure Software Development with Enclaves
inferred← citeshttps://doi.org/10.1109/ficloud57274.2022.00009openalex-snapshot
Towards a Message Broker Free FaaS for Distributed Dataflow Applications
inferred← citeshttps://doi.org/10.1109/ghtc46095.2019.9033134openalex-snapshot
Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City
inferred← citeshttps://doi.org/10.1109/supercompcloud51944.2020.00010openalex-snapshot
Leveraging Hybrid Cloud HPC with Multitier Reactive Programming
inferred← citeshttps://doi.org/10.1109/tse.2024.3393070openalex-snapshot
Automated Infrastructure as Code Program Testing
inferred← citeshttps://doi.org/10.1145/3236454.3236486openalex-snapshot
Static latency tracking with placement types
inferred← citeshttps://doi.org/10.1145/3328433.3328446openalex-snapshot
Language support for multiple privacy enhancing technologies
inferred← citeshttps://doi.org/10.1145/3328905.3332465openalex-snapshot
Developing Distributed Systems with Multitier Programming
inferred← citeshttps://doi.org/10.1145/3358503.3361274openalex-snapshot
GRASS: generic reactive application-specific scheduling
inferred← citeshttps://doi.org/10.1145/3359061.3361073openalex-snapshot
Exploiting models for scalable and high throughput distributed software
inferred← citeshttps://doi.org/10.1145/3360570openalex-snapshot
A fault-tolerant programming model for distributed interactive applications
inferred← citeshttps://doi.org/10.1145/3479394.3479406openalex-snapshot
A Typed Slicing Compilation of the Polymorphic RPC calculus
inferred← citeshttps://doi.org/10.1145/3486605.3486789openalex-snapshot
Dyninka: a FaaS framework for distributed dataflow applications
inferred← citeshttps://doi.org/10.1145/3584684openalex-snapshot
Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems
inferred← citeshttps://doi.org/10.1145/3584684.3597266openalex-snapshot
An Extensible Framework for Implementing and Validating Byzantine Fault-Tolerant Protocols
inferred← citeshttps://doi.org/10.1145/3604629openalex-snapshot
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications
inferred← citeshttps://doi.org/10.1145/3607849openalex-snapshot
HasChor: Functional Choreographic Programming for All (Functional Pearl)
inferred← citeshttps://doi.org/10.1145/3622802openalex-snapshot
Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data
inferred← citeshttps://doi.org/10.1145/3622873openalex-snapshot
Type-Safe Dynamic Placement with First-Class Placed Values
inferred← citeshttps://doi.org/10.1145/3632398openalex-snapshot
Choral: Object-oriented Choreographic Programming
inferred← citeshttps://doi.org/10.1145/3758316.3763252openalex-snapshot
On a Multitier Actor Programming Language
inferred← citeshttps://doi.org/10.1145/3764860.3768327openalex-snapshot
Monolift: Automating Distribution With the Tools You Have at Home
inferred← citeshttps://doi.org/10.22152/programming-journal.org/2022/6/14openalex-snapshot
Topology-Level Reactivity in Distributed Reactive Programs
inferred← citeshttps://doi.org/10.48550/arxiv.2007.15617openalex-snapshot
A Core Calculus for Static Latency Tracking with Placement Types
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.