ICFP 2016 Workshops
21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016)
Powered by
Conference Publishing Consulting

1st International Workshop on Type-Driven Development (TyDe 2016), September 18, 2016, Nara, Japan

Workshop TyDe 2016 – Author Index

Contents - Abstracts - Authors

D F G H I J K L O P S V Y

Diehl, Larry TyDe '16: "Generic Lookup and Update ..."
Foner, Kenneth TyDe '16: "choose Your Own Derivative ..."
Gibbons, Jeremy TyDe '16: "APLicative Programming with ..."
Hillerström, Daniel TyDe '16: "Liberating Effects with Rows ..."
Igried, Bashar TyDe '16: "Programming with Monadic CSP-Style ..."
Jansson, Patrik TyDe '16: "An Agda Formalisation of the ..."
Kaloper-Meršinjak, David TyDe '16: "Generic Partially-Static Data ..."
Kiselyov, Oleg TyDe '16: "Parameterized Extensible Effects ..."
Lindley, Sam TyDe '16: "Liberating Effects with Rows ..."
O'Connor, Liam TyDe '16: "Applications of Applicative ..."
Osera, Peter-Michael TyDe '16: "Programming Assistance for ..."
Paykin, Jennifer TyDe '16: "choose Your Own Derivative ..."
Sandberg Eriksson, Adam TyDe '16: "An Agda Formalisation of the ..."
Setzer, Anton TyDe '16: "Programming with Monadic CSP-Style ..."
Sheard, Tim TyDe '16: "Generic Lookup and Update ..."
Spector-Zabusky, Antal TyDe '16: "choose Your Own Derivative ..."
Vassena, Marco TyDe '16: "Generic Diff3 for Algebraic ..."
Yallop, Jeremy TyDe '16: "Generic Partially-Static Data ..."

18 authors

proc time: 1.28