What's in Unison? A Formal Specification and Reference Implementation of a File Synchronizer (2004)

by Benjamin C. Pierce , Jérôme Vouillon
Citations:18 - 8 self