| |
Binder, David
|
TyDe '22: "Structural Refinement Types ..."
Structural Refinement Types
David Binder, Ingo Skupin, David Läwen, and Klaus Ostermann
(University of Tübingen, Germany)
@InProceedings{TyDe22p16,
author = {David Binder and Ingo Skupin and David Läwen and Klaus Ostermann},
title = {Structural Refinement Types},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3546196.3550163},
year = {2022},
}
 Publisher's Version
|
| |
Blinn, Andrew |
TyDe '22: "tylr: A Tiny Tile-Based Structure ..."
tylr: A Tiny Tile-Based Structure Editor
David Moon, Andrew Blinn, and Cyrus Omar
(University of Michigan, USA)
@InProceedings{TyDe22p31,
author = {David Moon and Andrew Blinn and Cyrus Omar},
title = {tylr: A Tiny Tile-Based Structure Editor},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3546196.3550164},
year = {2022},
}
Publisher's Version
|
| |
Chen, Zilin
|
TyDe '22: "A Hoare Logic Style Refinement ..."
A Hoare Logic Style Refinement Types Formalisation
Zilin Chen
(UNSW, Australia)
@InProceedings{TyDe22p1,
author = {Zilin Chen},
title = {A Hoare Logic Style Refinement Types Formalisation},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3546196.3550162},
year = {2022},
}
Publisher's Version
|
| |
Dolan, Stephen
|
TyDe '22: "Computing with Generic Trees ..."
Computing with Generic Trees in Agda
Stephen Dolan
@InProceedings{TyDe22p46,
author = {Stephen Dolan},
title = {Computing with Generic Trees in Agda},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {46-45},
doi = {10.1145/3546196.3550165},
year = {2022},
}
Publisher's Version
|
| |
Läwen, David
|
TyDe '22: "Structural Refinement Types ..."
Structural Refinement Types
David Binder, Ingo Skupin, David Läwen, and Klaus Ostermann
(University of Tübingen, Germany)
@InProceedings{TyDe22p16,
author = {David Binder and Ingo Skupin and David Läwen and Klaus Ostermann},
title = {Structural Refinement Types},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3546196.3550163},
year = {2022},
}
Publisher's Version
|
| |
Moon, David
|
TyDe '22: "tylr: A Tiny Tile-Based Structure ..."
tylr: A Tiny Tile-Based Structure Editor
David Moon, Andrew Blinn, and Cyrus Omar
(University of Michigan, USA)
@InProceedings{TyDe22p31,
author = {David Moon and Andrew Blinn and Cyrus Omar},
title = {tylr: A Tiny Tile-Based Structure Editor},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3546196.3550164},
year = {2022},
}
Publisher's Version
|
| |
Omar, Cyrus
|
TyDe '22: "tylr: A Tiny Tile-Based Structure ..."
tylr: A Tiny Tile-Based Structure Editor
David Moon, Andrew Blinn, and Cyrus Omar
(University of Michigan, USA)
@InProceedings{TyDe22p31,
author = {David Moon and Andrew Blinn and Cyrus Omar},
title = {tylr: A Tiny Tile-Based Structure Editor},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3546196.3550164},
year = {2022},
}
Publisher's Version
|
| |
Ostermann, Klaus |
TyDe '22: "Structural Refinement Types ..."
Structural Refinement Types
David Binder, Ingo Skupin, David Läwen, and Klaus Ostermann
(University of Tübingen, Germany)
@InProceedings{TyDe22p16,
author = {David Binder and Ingo Skupin and David Läwen and Klaus Ostermann},
title = {Structural Refinement Types},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3546196.3550163},
year = {2022},
}
Publisher's Version
|
| |
Skupin, Ingo
|
TyDe '22: "Structural Refinement Types ..."
Structural Refinement Types
David Binder, Ingo Skupin, David Läwen, and Klaus Ostermann
(University of Tübingen, Germany)
@InProceedings{TyDe22p16,
author = {David Binder and Ingo Skupin and David Läwen and Klaus Ostermann},
title = {Structural Refinement Types},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3546196.3550163},
year = {2022},
}
Publisher's Version
|