| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|