Using Functional Reactive Programming to Define Safe Actor Systems.

Nick Webster, Marco Servetto, Michael Homer

Browse the full FTfJP paper archive.