TyDe '20: "Strongly Bounded Termination ..."
Strongly Bounded Termination with Applications to Security and Hardware Synthesis
Thomas Reynolds, William L. Harrison, Rohit Chadha, and Gerard Allwein
(University of Missouri, USA; Oak Ridge National Laboratory, USA; US Naval Research Laboratory, USA)
@InProceedings{TyDe20p1,
author = {Thomas Reynolds and William L. Harrison and Rohit Chadha and Gerard Allwein},
title = {Strongly Bounded Termination with Applications to Security and Hardware Synthesis},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3406089.3409029},
year = {2020},
}
Publisher's Version
TyDe '20: "Strongly Bounded Termination ..."
Strongly Bounded Termination with Applications to Security and Hardware Synthesis
Thomas Reynolds, William L. Harrison, Rohit Chadha, and Gerard Allwein
(University of Missouri, USA; Oak Ridge National Laboratory, USA; US Naval Research Laboratory, USA)
@InProceedings{TyDe20p1,
author = {Thomas Reynolds and William L. Harrison and Rohit Chadha and Gerard Allwein},
title = {Strongly Bounded Termination with Applications to Security and Hardware Synthesis},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3406089.3409029},
year = {2020},
}
Publisher's Version
TyDe '20: "Practical Dependent Type Checking ..."
Practical Dependent Type Checking using Twin Types
Víctor López Juan and Nils Anders Danielsson
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
@InProceedings{TyDe20p16,
author = {Víctor López Juan and Nils Anders Danielsson},
title = {Practical Dependent Type Checking using Twin Types},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3406089.3409030},
year = {2020},
}
Publisher's Version
TyDe '20: "Strongly Bounded Termination ..."
Strongly Bounded Termination with Applications to Security and Hardware Synthesis
Thomas Reynolds, William L. Harrison, Rohit Chadha, and Gerard Allwein
(University of Missouri, USA; Oak Ridge National Laboratory, USA; US Naval Research Laboratory, USA)
@InProceedings{TyDe20p1,
author = {Thomas Reynolds and William L. Harrison and Rohit Chadha and Gerard Allwein},
title = {Strongly Bounded Termination with Applications to Security and Hardware Synthesis},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3406089.3409029},
year = {2020},
}
Publisher's Version
TyDe '20: "Practical Dependent Type Checking ..."
Practical Dependent Type Checking using Twin Types
Víctor López Juan and Nils Anders Danielsson
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
@InProceedings{TyDe20p16,
author = {Víctor López Juan and Nils Anders Danielsson},
title = {Practical Dependent Type Checking using Twin Types},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3406089.3409030},
year = {2020},
}
Publisher's Version
TyDe '20: "Strongly Bounded Termination ..."
Strongly Bounded Termination with Applications to Security and Hardware Synthesis
Thomas Reynolds, William L. Harrison, Rohit Chadha, and Gerard Allwein
(University of Missouri, USA; Oak Ridge National Laboratory, USA; US Naval Research Laboratory, USA)
@InProceedings{TyDe20p1,
author = {Thomas Reynolds and William L. Harrison and Rohit Chadha and Gerard Allwein},
title = {Strongly Bounded Termination with Applications to Security and Hardware Synthesis},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3406089.3409029},
year = {2020},
}
Publisher's Version