Type Safe Evolution of Live Systems

Citation:
Domingues, Miguel, and João Costa Seco Type Safe Evolution of Live Systems. Workshop on Reactive and Event-based Languages & Systems (REBLS'15). Pittsburgh, 2015.
PreviewAttachmentSize
rebls15.pdf329.74 KB