Guest Editorial
Advanced programming techniques for construction of robust, generic and evolutionary programs Zhenjiang HU, Shin-Cheng MU and Stephanie WEIRICH

Research Paper
Distributive laws of directed containers Danel AHMAN, Tarmo UUSTALU

Equational reasoning about programs with general recursion and call-by-value semantics Garrin KIMMELL, Aaron STUMP, Harley D. EADES, Peng FU, Tim SHEARD, Stephanie WEIRICH, Chris CASINGHINO, Vilhelm SJÖBERG, Nathan COLLINS and Ki YUNG AHN

Wander types : A formalization of coinduction-recursion Venanzio CAPRETTA

Modularising inductive families Hsiang-Shang KO, Jeremy GIBBONS

An expressive bidirectional transformation language for XQuery view update Dongxi LIU, Zhenjiang HU, Masato TAKEICHI

GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations Soichiro HIDAKA, Zhenjiang HU, Kazuhiro INABA, Hiroyuki KATO, Keisuke NAKANO

Technical Report
Dependently typed programming Shin-CHENG MU, Conor MCBRIDE, Stephanie WEIRICH

Automated techniques for higher-order program verification Naoki KOBAYASHI, Luke ONG and David Van HORN

Research Papers (Regular Papers)
An efficient exact algorithm for the Minimum Latency Problem Ha BANG BAN, Kien NGUYEN, Manh CUONG NGO, Duc NGHIA NGUYEN

Load-balanced routing with selective even traffic splitting Masashi HONMA, Shunichi TSUNODA, Eiji OKI