Behaviour-Interaction-Priority in Functional Programming Languages: Formalisation and Implementation of Concurrency Frameworks in Haskell and Scala

Bliudze, SimonSifakis, JosephEdelmann, Romain2016-02-032016-02-032016-02-032015https://infoscience.epfl.ch/handle/20.500.14299/123204BIPConnectorsFunctional programmingScalaHaskellStatic typingDynamicityCoordinationConcurrencyBehaviour-Interaction-Priority in Functional Programming Languages: Formalisation and Implementation of Concurrency Frameworks in Haskell and Scalastudent work::master thesis