Workshop TyDe 2018 – Author Index

B C H K L M N S T Y

	Brachthäuser, Jonathan Immanuel	TyDe '18: "Typing, Representing, and ..." Typing, Representing, and Abstracting Control: Functional Pearl Philipp Schuster and Jonathan Immanuel Brachthäuser (University of Tübingen, Germany) @InProceedings{TyDe18p16, author = {Philipp Schuster and Jonathan Immanuel Brachthäuser}, title = {Typing, Representing, and Abstracting Control: Functional Pearl}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3240719.3241788}, year = {2018}, } Publisher's Version Article: icfpws18tydemain-p5-p doi:10.1145/3240719.3241788
	Carr, Harold	TyDe '18: "Authenticated Modular Maps ..." Authenticated Modular Maps in Haskell Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, and Maurice Herlihy (Utrecht University, Netherlands; Oracle Labs, USA; Oracle Labs, New Zealand; Brown University, USA) @InProceedings{TyDe18p1, author = {Victor Cacciari Miraldo and Harold Carr and Alex Kogan and Mark Moir and Maurice Herlihy}, title = {Authenticated Modular Maps in Haskell}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3240719.3241790}, year = {2018}, } Publisher's Version Article: icfpws18tydemain-p7-p doi:10.1145/3240719.3241790
	Christiansen, David Thrane	TyDe '18: "Extensible Type-Directed Editing ..." Extensible Type-Directed Editing Joomy Korkut and David Thrane Christiansen (Wesleyan University, USA; Galois, USA) @InProceedings{TyDe18p46, author = {Joomy Korkut and David Thrane Christiansen}, title = {Extensible Type-Directed Editing}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3240719.3241791}, year = {2018}, } Publisher's Version Article: icfpws18tydemain-p9-p doi:10.1145/3240719.3241791
	Herlihy, Maurice	TyDe '18: "Authenticated Modular Maps ..." Authenticated Modular Maps in Haskell Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, and Maurice Herlihy (Utrecht University, Netherlands; Oracle Labs, USA; Oracle Labs, New Zealand; Brown University, USA) @InProceedings{TyDe18p1, author = {Victor Cacciari Miraldo and Harold Carr and Alex Kogan and Mark Moir and Maurice Herlihy}, title = {Authenticated Modular Maps in Haskell}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3240719.3241790}, year = {2018}, } Publisher's Version Article: icfpws18tydemain-p7-p doi:10.1145/3240719.3241790
	Kogan, Alex	TyDe '18: "Authenticated Modular Maps ..." Authenticated Modular Maps in Haskell Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, and Maurice Herlihy (Utrecht University, Netherlands; Oracle Labs, USA; Oracle Labs, New Zealand; Brown University, USA) @InProceedings{TyDe18p1, author = {Victor Cacciari Miraldo and Harold Carr and Alex Kogan and Mark Moir and Maurice Herlihy}, title = {Authenticated Modular Maps in Haskell}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3240719.3241790}, year = {2018}, } Publisher's Version Article: icfpws18tydemain-p7-p doi:10.1145/3240719.3241790
	Korkut, Joomy	TyDe '18: "Extensible Type-Directed Editing ..." Extensible Type-Directed Editing Joomy Korkut and David Thrane Christiansen (Wesleyan University, USA; Galois, USA) @InProceedings{TyDe18p46, author = {Joomy Korkut and David Thrane Christiansen}, title = {Extensible Type-Directed Editing}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3240719.3241791}, year = {2018}, } Publisher's Version Article: icfpws18tydemain-p9-p doi:10.1145/3240719.3241791
	Leijen, Daan	TyDe '18: "First Class Dynamic Effect ..." First Class Dynamic Effect Handlers: or, Polymorphic Heaps with Dynamic Effect Handlers Daan Leijen (Microsoft Research, USA) @InProceedings{TyDe18p61, author = {Daan Leijen}, title = {First Class Dynamic Effect Handlers: or, Polymorphic Heaps with Dynamic Effect Handlers}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3240719.3241789}, year = {2018}, } Publisher's Version Article: icfpws18tydemain-p6-p doi:10.1145/3240719.3241789
	Miraldo, Victor Cacciari	TyDe '18: "Authenticated Modular Maps ..." Authenticated Modular Maps in Haskell Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, and Maurice Herlihy (Utrecht University, Netherlands; Oracle Labs, USA; Oracle Labs, New Zealand; Brown University, USA) @InProceedings{TyDe18p1, author = {Victor Cacciari Miraldo and Harold Carr and Alex Kogan and Mark Moir and Maurice Herlihy}, title = {Authenticated Modular Maps in Haskell}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3240719.3241790}, year = {2018}, } Publisher's Version Article: icfpws18tydemain-p7-p doi:10.1145/3240719.3241790 TyDe '18: "Sums of Products for Mutually ..." Sums of Products for Mutually Recursive Datatypes: The Appropriationist’s View on Generic Programming Victor Cacciari Miraldo and Alejandro Serrano (Utrecht University, Netherlands) @InProceedings{TyDe18p76, author = {Victor Cacciari Miraldo and Alejandro Serrano}, title = {Sums of Products for Mutually Recursive Datatypes: The Appropriationist’s View on Generic Programming}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {76-75}, doi = {10.1145/3240719.3241786}, year = {2018}, } Publisher's Version Article: icfpws18tydemain-p1-p doi:10.1145/3240719.3241786
	Moir, Mark	TyDe '18: "Authenticated Modular Maps ..." Authenticated Modular Maps in Haskell Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, and Maurice Herlihy (Utrecht University, Netherlands; Oracle Labs, USA; Oracle Labs, New Zealand; Brown University, USA) @InProceedings{TyDe18p1, author = {Victor Cacciari Miraldo and Harold Carr and Alex Kogan and Mark Moir and Maurice Herlihy}, title = {Authenticated Modular Maps in Haskell}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3240719.3241790}, year = {2018}, } Publisher's Version Article: icfpws18tydemain-p7-p doi:10.1145/3240719.3241790
	Nystrom, Nathaniel	TyDe '18: "Implementing Resource-Aware ..." Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL Ilya Yanok and Nathaniel Nystrom (USI Lugano, Switzerland) @InProceedings{TyDe18p31, author = {Ilya Yanok and Nathaniel Nystrom}, title = {Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3240719.3241792}, year = {2018}, } Publisher's Version Article: icfpws18tydemain-p10-p doi:10.1145/3240719.3241792
	Schuster, Philipp	TyDe '18: "Typing, Representing, and ..." Typing, Representing, and Abstracting Control: Functional Pearl Philipp Schuster and Jonathan Immanuel Brachthäuser (University of Tübingen, Germany) @InProceedings{TyDe18p16, author = {Philipp Schuster and Jonathan Immanuel Brachthäuser}, title = {Typing, Representing, and Abstracting Control: Functional Pearl}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3240719.3241788}, year = {2018}, } Publisher's Version Article: icfpws18tydemain-p5-p doi:10.1145/3240719.3241788
	Serrano, Alejandro	TyDe '18: "Sums of Products for Mutually ..." Sums of Products for Mutually Recursive Datatypes: The Appropriationist’s View on Generic Programming Victor Cacciari Miraldo and Alejandro Serrano (Utrecht University, Netherlands) @InProceedings{TyDe18p76, author = {Victor Cacciari Miraldo and Alejandro Serrano}, title = {Sums of Products for Mutually Recursive Datatypes: The Appropriationist’s View on Generic Programming}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {76-75}, doi = {10.1145/3240719.3241786}, year = {2018}, } Publisher's Version Article: icfpws18tydemain-p1-p doi:10.1145/3240719.3241786
	Swierstra, Wouter	TyDe '18: "From Algebra to Abstract Machine: ..." From Algebra to Abstract Machine: A Verified Generic Construction Carlos Tomé Cortiñas and Wouter Swierstra (Utrecht University, Netherlands) @InProceedings{TyDe18p91, author = {Carlos Tomé Cortiñas and Wouter Swierstra}, title = {From Algebra to Abstract Machine: A Verified Generic Construction}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {91-90}, doi = {10.1145/3240719.3241787}, year = {2018}, } Publisher's Version Article: icfpws18tydemain-p2-p doi:10.1145/3240719.3241787
	Tomé Cortiñas, Carlos	TyDe '18: "From Algebra to Abstract Machine: ..." From Algebra to Abstract Machine: A Verified Generic Construction Carlos Tomé Cortiñas and Wouter Swierstra (Utrecht University, Netherlands) @InProceedings{TyDe18p91, author = {Carlos Tomé Cortiñas and Wouter Swierstra}, title = {From Algebra to Abstract Machine: A Verified Generic Construction}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {91-90}, doi = {10.1145/3240719.3241787}, year = {2018}, } Publisher's Version Article: icfpws18tydemain-p2-p doi:10.1145/3240719.3241787
	Yanok, Ilya	TyDe '18: "Implementing Resource-Aware ..." Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL Ilya Yanok and Nathaniel Nystrom (USI Lugano, Switzerland) @InProceedings{TyDe18p31, author = {Ilya Yanok and Nathaniel Nystrom}, title = {Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3240719.3241792}, year = {2018}, } Publisher's Version Article: icfpws18tydemain-p10-p doi:10.1145/3240719.3241792

16 authors

proc time: 0.02