papers
Publications (8)
cs.AR2013
On whether and how D-RISC and Microgrids can be kept relevant (self-assessment report)
Raphael Poss
cs.PL2012
SL: a "quick and dirty" but working intermediate language for SVP systems
Raphael Poss
cs.DL2014
Aca 2.0: Questions and Answers
Raphael Poss, Sebastian Altmeyer, Mark Thompson +1
cs.PL2013
S+Net: extending functional coordination with extra-functional semantics
Raphael Poss, Merijn Verstraaten, Frank Penczek +3
cs.PL2014
Rust for functional programmers
Raphael Poss
cs.AR2013
MGSim - Simulation tools for multi-core processor architectures
Mike Lankamp, Raphael Poss, Qiang Yang +3
cs.LO2014
Categories from scratch
Raphael Poss
cs.PL2014
Haskell for OCaml programmers
Raphael Poss