Journal: Foundations and Trends in Programming Languages

Volume 5, Issue 4

282 -- 414Hongjin Liang, Xinyu Feng. Progress of Concurrent Objects

Volume 5, Issue 2-3

102 -- 281Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock. QED at Large: A Survey of Engineering of Formally Verified Software

Volume 5, Issue 1

1 -- 101Oleg Kiselyov. Reconciling Abstraction with High Performance: A MetaOCaml approach