Workshop TyDe 2023 – Author Index

A B E F H L P W X Z

	Ahmed, Amal	TyDe '23: "Semantic Encapsulation using ..." Semantic Encapsulation using Linking Types Daniel Patterson, Andrew Wagner, and Amal Ahmed (Northeastern University, USA) @InProceedings{TyDe23p16, author = {Daniel Patterson and Andrew Wagner and Amal Ahmed}, title = {Semantic Encapsulation using Linking Types}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3609027.3609405}, year = {2023}, } Publisher's Version Article: icfpws23tydemain-p4-p doi:10.1145/3609027.3609405
	Blair, William	TyDe '23: "A Dependently Typed Language ..." A Dependently Typed Language with Dynamic Equality Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, and Hongwei Xi (Autodesk, USA; Boston University, USA) @InProceedings{TyDe23p46, author = {Mark Lemay and Qiancheng Fu and William Blair and Cheng Zhang and Hongwei Xi}, title = {A Dependently Typed Language with Dynamic Equality}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3609027.3609407}, year = {2023}, } Publisher's Version Article: icfpws23tydemain-p9-p doi:10.1145/3609027.3609407
	Eades III, Harley	TyDe '23: "Combining Dependency, Grades, ..." Combining Dependency, Grades, and Adjoint Logic Peter Hanukaev and Harley Eades III (Augusta University, USA) @InProceedings{TyDe23p61, author = {Peter Hanukaev and Harley Eades III}, title = {Combining Dependency, Grades, and Adjoint Logic}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3609027.3609408}, year = {2023}, } Publisher's Version Article: icfpws23tydemain-p11-p doi:10.1145/3609027.3609408
	Fu, Qiancheng	TyDe '23: "A Calculus of Inductive Linear ..." A Calculus of Inductive Linear Constructions Qiancheng Fu and Hongwei Xi (Boston University, USA) @InProceedings{TyDe23p1, author = {Qiancheng Fu and Hongwei Xi}, title = {A Calculus of Inductive Linear Constructions}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3609027.3609404}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Article: icfpws23tydemain-p2-p doi:10.1145/3609027.3609404 TyDe '23: "A Dependently Typed Language ..." A Dependently Typed Language with Dynamic Equality Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, and Hongwei Xi (Autodesk, USA; Boston University, USA) @InProceedings{TyDe23p46, author = {Mark Lemay and Qiancheng Fu and William Blair and Cheng Zhang and Hongwei Xi}, title = {A Dependently Typed Language with Dynamic Equality}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3609027.3609407}, year = {2023}, } Publisher's Version Article: icfpws23tydemain-p9-p doi:10.1145/3609027.3609407
	Hanukaev, Peter	TyDe '23: "Combining Dependency, Grades, ..." Combining Dependency, Grades, and Adjoint Logic Peter Hanukaev and Harley Eades III (Augusta University, USA) @InProceedings{TyDe23p61, author = {Peter Hanukaev and Harley Eades III}, title = {Combining Dependency, Grades, and Adjoint Logic}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3609027.3609408}, year = {2023}, } Publisher's Version Article: icfpws23tydemain-p11-p doi:10.1145/3609027.3609408
	Lemay, Mark	TyDe '23: "A Dependently Typed Language ..." A Dependently Typed Language with Dynamic Equality Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, and Hongwei Xi (Autodesk, USA; Boston University, USA) @InProceedings{TyDe23p46, author = {Mark Lemay and Qiancheng Fu and William Blair and Cheng Zhang and Hongwei Xi}, title = {A Dependently Typed Language with Dynamic Equality}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3609027.3609407}, year = {2023}, } Publisher's Version Article: icfpws23tydemain-p9-p doi:10.1145/3609027.3609407
	Paszke, Adam	TyDe '23: "Infix-Extensible Record Types ..." Infix-Extensible Record Types for Tabular Data Adam Paszke and Ningning Xie (Google DeepMind, Germany; Google DeepMind, Canada) @InProceedings{TyDe23p31, author = {Adam Paszke and Ningning Xie}, title = {Infix-Extensible Record Types for Tabular Data}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3609027.3609406}, year = {2023}, } Publisher's Version Article: icfpws23tydemain-p6-p doi:10.1145/3609027.3609406
	Patterson, Daniel	TyDe '23: "Semantic Encapsulation using ..." Semantic Encapsulation using Linking Types Daniel Patterson, Andrew Wagner, and Amal Ahmed (Northeastern University, USA) @InProceedings{TyDe23p16, author = {Daniel Patterson and Andrew Wagner and Amal Ahmed}, title = {Semantic Encapsulation using Linking Types}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3609027.3609405}, year = {2023}, } Publisher's Version Article: icfpws23tydemain-p4-p doi:10.1145/3609027.3609405
	Wagner, Andrew	TyDe '23: "Semantic Encapsulation using ..." Semantic Encapsulation using Linking Types Daniel Patterson, Andrew Wagner, and Amal Ahmed (Northeastern University, USA) @InProceedings{TyDe23p16, author = {Daniel Patterson and Andrew Wagner and Amal Ahmed}, title = {Semantic Encapsulation using Linking Types}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3609027.3609405}, year = {2023}, } Publisher's Version Article: icfpws23tydemain-p4-p doi:10.1145/3609027.3609405
	Xi, Hongwei	TyDe '23: "A Calculus of Inductive Linear ..." A Calculus of Inductive Linear Constructions Qiancheng Fu and Hongwei Xi (Boston University, USA) @InProceedings{TyDe23p1, author = {Qiancheng Fu and Hongwei Xi}, title = {A Calculus of Inductive Linear Constructions}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3609027.3609404}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Article: icfpws23tydemain-p2-p doi:10.1145/3609027.3609404 TyDe '23: "A Dependently Typed Language ..." A Dependently Typed Language with Dynamic Equality Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, and Hongwei Xi (Autodesk, USA; Boston University, USA) @InProceedings{TyDe23p46, author = {Mark Lemay and Qiancheng Fu and William Blair and Cheng Zhang and Hongwei Xi}, title = {A Dependently Typed Language with Dynamic Equality}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3609027.3609407}, year = {2023}, } Publisher's Version Article: icfpws23tydemain-p9-p doi:10.1145/3609027.3609407
	Xie, Ningning	TyDe '23: "Infix-Extensible Record Types ..." Infix-Extensible Record Types for Tabular Data Adam Paszke and Ningning Xie (Google DeepMind, Germany; Google DeepMind, Canada) @InProceedings{TyDe23p31, author = {Adam Paszke and Ningning Xie}, title = {Infix-Extensible Record Types for Tabular Data}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3609027.3609406}, year = {2023}, } Publisher's Version Article: icfpws23tydemain-p6-p doi:10.1145/3609027.3609406
	Zhang, Cheng	TyDe '23: "A Dependently Typed Language ..." A Dependently Typed Language with Dynamic Equality Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, and Hongwei Xi (Autodesk, USA; Boston University, USA) @InProceedings{TyDe23p46, author = {Mark Lemay and Qiancheng Fu and William Blair and Cheng Zhang and Hongwei Xi}, title = {A Dependently Typed Language with Dynamic Equality}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3609027.3609407}, year = {2023}, } Publisher's Version Article: icfpws23tydemain-p9-p doi:10.1145/3609027.3609407

14 authors

proc time: 0.03