Workshop TyDe 2016 – Author Index

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

	Diehl, Larry	TyDe '16: "Generic Lookup and Update ..." Generic Lookup and Update for Infinitary Inductive-Recursive Types Larry Diehl and Tim Sheard (Portland State University, USA) @InProceedings{TyDe16p1, author = {Larry Diehl and Tim Sheard}, title = {Generic Lookup and Update for Infinitary Inductive-Recursive Types}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid7-p doi:
	Foner, Kenneth	TyDe '16: "choose Your Own Derivative ..." choose Your Own Derivative (Extended Abstract) Jennifer Paykin, Antal Spector-Zabusky, and Kenneth Foner (University of Pennsylvania, USA) @InProceedings{TyDe16p65, author = {Jennifer Paykin and Antal Spector-Zabusky and Kenneth Foner}, title = {choose Your Own Derivative (Extended Abstract)}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {65-64}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid10-p doi:
	Gibbons, Jeremy	TyDe '16: "APLicative Programming with ..." APLicative Programming with Naperian Functors (Extended Abstract) Jeremy Gibbons (University of Oxford, UK) @InProceedings{TyDe16p15, author = {Jeremy Gibbons}, title = {APLicative Programming with Naperian Functors (Extended Abstract)}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {15-14}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid9-p doi:
	Hillerström, Daniel	TyDe '16: "Liberating Effects with Rows ..." Liberating Effects with Rows and Handlers Daniel Hillerström and Sam Lindley (University of Edinburgh, UK) @InProceedings{TyDe16p17, author = {Daniel Hillerström and Sam Lindley}, title = {Liberating Effects with Rows and Handlers}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {17-16}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid6-p doi:
	Igried, Bashar	TyDe '16: "Programming with Monadic CSP-Style ..." Programming with Monadic CSP-Style Processes in Dependent Type Theory Bashar Igried and Anton Setzer (Swansea University, UK) @InProceedings{TyDe16p31, author = {Bashar Igried and Anton Setzer}, title = {Programming with Monadic CSP-Style Processes in Dependent Type Theory}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid8-p doi:
	Jansson, Patrik	TyDe '16: "An Agda Formalisation of the ..." An Agda Formalisation of the Transitive Closure of Block Matrices (Extended Abstract) Adam Sandberg Eriksson and Patrik Jansson (Chalmers University of Technology, Sweden) @InProceedings{TyDe16p67, author = {Adam Sandberg Eriksson and Patrik Jansson}, title = {An Agda Formalisation of the Transitive Closure of Block Matrices (Extended Abstract)}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {67-66}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid12-p doi:
	Kaloper-Meršinjak, David	TyDe '16: "Generic Partially-Static Data ..." Generic Partially-Static Data (Extended Abstract) David Kaloper-Meršinjak and Jeremy Yallop (University of Cambridge, UK) @InProceedings{TyDe16p45, author = {David Kaloper-Meršinjak and Jeremy Yallop}, title = {Generic Partially-Static Data (Extended Abstract)}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {45-44}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid17-p doi:
	Kiselyov, Oleg	TyDe '16: "Parameterized Extensible Effects ..." Parameterized Extensible Effects and Session Types (Extended Abstract) Oleg Kiselyov (Tohoku University, Japan) @InProceedings{TyDe16p47, author = {Oleg Kiselyov}, title = {Parameterized Extensible Effects and Session Types (Extended Abstract)}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {47-46}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid1-p doi:
	Lindley, Sam	TyDe '16: "Liberating Effects with Rows ..." Liberating Effects with Rows and Handlers Daniel Hillerström and Sam Lindley (University of Edinburgh, UK) @InProceedings{TyDe16p17, author = {Daniel Hillerström and Sam Lindley}, title = {Liberating Effects with Rows and Handlers}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {17-16}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid6-p doi:
	O'Connor, Liam	TyDe '16: "Applications of Applicative ..." Applications of Applicative Proof Search Liam O'Connor (UNSW, Australia; Data61, Australia) @InProceedings{TyDe16p49, author = {Liam O'Connor}, title = {Applications of Applicative Proof Search}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid2-p doi:
	Osera, Peter-Michael	TyDe '16: "Programming Assistance for ..." Programming Assistance for Type-Directed Programming (Extended Abstract) Peter-Michael Osera (Grinnell College, USA) @InProceedings{TyDe16p63, author = {Peter-Michael Osera}, title = {Programming Assistance for Type-Directed Programming (Extended Abstract)}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {63-62}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid16-p doi:
	Paykin, Jennifer	TyDe '16: "choose Your Own Derivative ..." choose Your Own Derivative (Extended Abstract) Jennifer Paykin, Antal Spector-Zabusky, and Kenneth Foner (University of Pennsylvania, USA) @InProceedings{TyDe16p65, author = {Jennifer Paykin and Antal Spector-Zabusky and Kenneth Foner}, title = {choose Your Own Derivative (Extended Abstract)}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {65-64}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid10-p doi:
	Sandberg Eriksson, Adam	TyDe '16: "An Agda Formalisation of the ..." An Agda Formalisation of the Transitive Closure of Block Matrices (Extended Abstract) Adam Sandberg Eriksson and Patrik Jansson (Chalmers University of Technology, Sweden) @InProceedings{TyDe16p67, author = {Adam Sandberg Eriksson and Patrik Jansson}, title = {An Agda Formalisation of the Transitive Closure of Block Matrices (Extended Abstract)}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {67-66}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid12-p doi:
	Setzer, Anton	TyDe '16: "Programming with Monadic CSP-Style ..." Programming with Monadic CSP-Style Processes in Dependent Type Theory Bashar Igried and Anton Setzer (Swansea University, UK) @InProceedings{TyDe16p31, author = {Bashar Igried and Anton Setzer}, title = {Programming with Monadic CSP-Style Processes in Dependent Type Theory}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid8-p doi:
	Sheard, Tim	TyDe '16: "Generic Lookup and Update ..." Generic Lookup and Update for Infinitary Inductive-Recursive Types Larry Diehl and Tim Sheard (Portland State University, USA) @InProceedings{TyDe16p1, author = {Larry Diehl and Tim Sheard}, title = {Generic Lookup and Update for Infinitary Inductive-Recursive Types}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid7-p doi:
	Spector-Zabusky, Antal	TyDe '16: "choose Your Own Derivative ..." choose Your Own Derivative (Extended Abstract) Jennifer Paykin, Antal Spector-Zabusky, and Kenneth Foner (University of Pennsylvania, USA) @InProceedings{TyDe16p65, author = {Jennifer Paykin and Antal Spector-Zabusky and Kenneth Foner}, title = {choose Your Own Derivative (Extended Abstract)}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {65-64}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid10-p doi:
	Vassena, Marco	TyDe '16: "Generic Diff3 for Algebraic ..." Generic Diff3 for Algebraic Datatypes Marco Vassena (Chalmers University of Technology, Sweden) @InProceedings{TyDe16p69, author = {Marco Vassena}, title = {Generic Diff3 for Algebraic Datatypes}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {69-68}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid5-p doi:
	Yallop, Jeremy	TyDe '16: "Generic Partially-Static Data ..." Generic Partially-Static Data (Extended Abstract) David Kaloper-Meršinjak and Jeremy Yallop (University of Cambridge, UK) @InProceedings{TyDe16p45, author = {David Kaloper-Meršinjak and Jeremy Yallop}, title = {Generic Partially-Static Data (Extended Abstract)}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {45-44}, doi = {}, year = {2016}, } Article: icfpws16tydemain-tydemainid17-p doi:

18 authors

proc time: 0.02