| |
Dagand, Pierre-Évariste
|
TyDe '17: "Type-Directed Diffing of Structured ..."
Type-Directed Diffing of Structured Data
Victor Cacciari Miraldo, Pierre-Évariste Dagand, and Wouter Swierstra
(Utrecht University, Netherlands; UPMC, France)
@InProceedings{TyDe17p17,
author = {Victor Cacciari Miraldo and Pierre-Évariste Dagand and Wouter Swierstra},
title = {Type-Directed Diffing of Structured Data},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {17-16},
doi = {},
year = {2017},
}
|
| |
Kennedy, Andrew
|
TyDe '17: "Driving Types into PHP (Invited ..."
Driving Types into PHP (Invited Talk)
Andrew Kennedy
(Facebook, UK)
@InProceedings{TyDe17p1,
author = {Andrew Kennedy},
title = {Driving Types into PHP (Invited Talk)},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2017},
}
|
| |
Leijen, Daan
|
TyDe '17: "Structured Asynchrony with ..."
Structured Asynchrony with Algebraic Effects
Daan Leijen
(Microsoft Research, USA)
@InProceedings{TyDe17p33,
author = {Daan Leijen},
title = {Structured Asynchrony with Algebraic Effects},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {33-32},
doi = {},
year = {2017},
}
|
| |
Miraldo, Victor Cacciari
|
TyDe '17: "Type-Directed Diffing of Structured ..."
Type-Directed Diffing of Structured Data
Victor Cacciari Miraldo, Pierre-Évariste Dagand, and Wouter Swierstra
(Utrecht University, Netherlands; UPMC, France)
@InProceedings{TyDe17p17,
author = {Victor Cacciari Miraldo and Pierre-Évariste Dagand and Wouter Swierstra},
title = {Type-Directed Diffing of Structured Data},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {17-16},
doi = {},
year = {2017},
}
|
| |
Swierstra, Wouter
|
TyDe '17: "Type-Directed Diffing of Structured ..."
Type-Directed Diffing of Structured Data
Victor Cacciari Miraldo, Pierre-Évariste Dagand, and Wouter Swierstra
(Utrecht University, Netherlands; UPMC, France)
@InProceedings{TyDe17p17,
author = {Victor Cacciari Miraldo and Pierre-Évariste Dagand and Wouter Swierstra},
title = {Type-Directed Diffing of Structured Data},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {17-16},
doi = {},
year = {2017},
}
TyDe '17: "Generic Packet Descriptions: ..."
Generic Packet Descriptions: Verified Parsing and Pretty Printing of Low-Level Data
Marcell van Geest and Wouter Swierstra
(Utrecht University, Netherlands)
@InProceedings{TyDe17p49,
author = {Marcell van Geest and Wouter Swierstra},
title = {Generic Packet Descriptions: Verified Parsing and Pretty Printing of Low-Level Data},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {49-48},
doi = {},
year = {2017},
}
|
| |
Van Geest, Marcell
|
TyDe '17: "Generic Packet Descriptions: ..."
Generic Packet Descriptions: Verified Parsing and Pretty Printing of Low-Level Data
Marcell van Geest and Wouter Swierstra
(Utrecht University, Netherlands)
@InProceedings{TyDe17p49,
author = {Marcell van Geest and Wouter Swierstra},
title = {Generic Packet Descriptions: Verified Parsing and Pretty Printing of Low-Level Data},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {49-48},
doi = {},
year = {2017},
}
|