An editor for revision control
Efficient applicative data types
ACM Transactions on Programming Languages and Systems
Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL ’84
Christipher W. Fraser