Login / Signup
Distributed Lazy Evaluation: A Big-Step Mechanised Semantics.
Seyed H. Haeri
Sibylle Schupp
Published in:
PDP (2014)
Keyphrases
</>
lazy evaluation
bayesian decision problems
distributed systems
distributed environment
mobile agents
peer to peer
sort merge
logic programming
general purpose
big data
data intensive
functional programs