| |
Beharry, Allister
|
FARM '23: "Demo: A Functional EDSL for ..."
Demo: A Functional EDSL for Mathematics Visualization That Compiles to JavaScript
Allister Beharry
(University of London, UK)
@InProceedings{FARM23p46,
author = {Allister Beharry},
title = {Demo: A Functional EDSL for Mathematics Visualization That Compiles to JavaScript},
booktitle = {Proc.\ FARM},
publisher = {ACM},
pages = {46-45},
doi = {10.1145/3609023.3609808},
year = {2023},
}
 Publisher's Version
Article: icfpws23farmmain-p8-p doi:10.1145/3609023.3609808
|
| |
Bohrer, Rose |
FARM '23: "Homotopy Type Theory for Sewn ..."
Homotopy Type Theory for Sewn Quilts
Charlotte Clark and Rose Bohrer
(Worcester Polytechnic Institute, USA)
@InProceedings{FARM23p76,
author = {Charlotte Clark and Rose Bohrer},
title = {Homotopy Type Theory for Sewn Quilts},
booktitle = {Proc.\ FARM},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3609023.3609803},
year = {2023},
}
Publisher's Version
Article: icfpws23farmmain-p1-p doi:10.1145/3609023.3609803
|
| |
Cheng, Gloria
|
FARM '23: "Perfectly Imperfect: Music, ..."
Perfectly Imperfect: Music, Math, and the Keyboard (Keynote)
Gloria Cheng
(University of California at Los Angeles, USA)
@InProceedings{FARM23p1,
author = {Gloria Cheng},
title = {Perfectly Imperfect: Music, Math, and the Keyboard (Keynote)},
booktitle = {Proc.\ FARM},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3609023.3615582},
year = {2023},
}
Publisher's Version
Article: icfpws23farmmain-key1-p doi:10.1145/3609023.3615582
|
| |
Clark, Charlotte |
FARM '23: "Homotopy Type Theory for Sewn ..."
Homotopy Type Theory for Sewn Quilts
Charlotte Clark and Rose Bohrer
(Worcester Polytechnic Institute, USA)
@InProceedings{FARM23p76,
author = {Charlotte Clark and Rose Bohrer},
title = {Homotopy Type Theory for Sewn Quilts},
booktitle = {Proc.\ FARM},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3609023.3609803},
year = {2023},
}
Publisher's Version
Article: icfpws23farmmain-p1-p doi:10.1145/3609023.3609803
|
| |
Cong, Youyou |
FARM '23: "Weighted Refinement Types ..."
Weighted Refinement Types for Counterpoint Composition
Youyou Cong
(Tokyo Institute of Technology, Japan)
@InProceedings{FARM23p16,
author = {Youyou Cong},
title = {Weighted Refinement Types for Counterpoint Composition},
booktitle = {Proc.\ FARM},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3609023.3609804},
year = {2023},
}
Publisher's Version
Article: icfpws23farmmain-p2-p doi:10.1145/3609023.3609804
|
| |
Kantipuly, Aditi
|
FARM '23: "Demo: Sonic Catalog of Rare ..."
Demo: Sonic Catalog of Rare Diseases
Stephen Taylor and Aditi Kantipuly
(University of Illinois at Urbana-Champaign, USA; McGill University, Canada)
@InProceedings{FARM23p91,
author = {Stephen Taylor and Aditi Kantipuly},
title = {Demo: Sonic Catalog of Rare Diseases},
booktitle = {Proc.\ FARM},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3609023.3609807},
year = {2023},
}
Publisher's Version
Article: icfpws23farmmain-p7-p doi:10.1145/3609023.3609807
|
| |
Perez, Ivan
|
FARM '23: "The Beauty and Elegance of ..."
The Beauty and Elegance of Functional Reactive Animation
Ivan Perez
(Unaffiliated, USA)
@InProceedings{FARM23p31,
author = {Ivan Perez},
title = {The Beauty and Elegance of Functional Reactive Animation},
booktitle = {Proc.\ FARM},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3609023.3609806},
year = {2023},
}
Publisher's Version
Article: icfpws23farmmain-p6-p doi:10.1145/3609023.3609806
|
| |
Schulz, Adriana
|
FARM '23: "Exploring Self-Embedded Knitting ..."
Exploring Self-Embedded Knitting Programs with Twine
Amy Zhu, Adriana Schulz, and Zachary Tatlock
(University of Washington, USA)
@InProceedings{FARM23p61,
author = {Amy Zhu and Adriana Schulz and Zachary Tatlock},
title = {Exploring Self-Embedded Knitting Programs with Twine},
booktitle = {Proc.\ FARM},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3609023.3609805},
year = {2023},
}
Publisher's Version
Article: icfpws23farmmain-p5-p doi:10.1145/3609023.3609805
|
| |
Tatlock, Zachary
|
FARM '23: "Exploring Self-Embedded Knitting ..."
Exploring Self-Embedded Knitting Programs with Twine
Amy Zhu, Adriana Schulz, and Zachary Tatlock
(University of Washington, USA)
@InProceedings{FARM23p61,
author = {Amy Zhu and Adriana Schulz and Zachary Tatlock},
title = {Exploring Self-Embedded Knitting Programs with Twine},
booktitle = {Proc.\ FARM},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3609023.3609805},
year = {2023},
}
Publisher's Version
Article: icfpws23farmmain-p5-p doi:10.1145/3609023.3609805
|
| |
Taylor, Stephen |
FARM '23: "Demo: Sonic Catalog of Rare ..."
Demo: Sonic Catalog of Rare Diseases
Stephen Taylor and Aditi Kantipuly
(University of Illinois at Urbana-Champaign, USA; McGill University, Canada)
@InProceedings{FARM23p91,
author = {Stephen Taylor and Aditi Kantipuly},
title = {Demo: Sonic Catalog of Rare Diseases},
booktitle = {Proc.\ FARM},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3609023.3609807},
year = {2023},
}
Publisher's Version
Article: icfpws23farmmain-p7-p doi:10.1145/3609023.3609807
|
| |
Zhu, Amy
|
FARM '23: "Exploring Self-Embedded Knitting ..."
Exploring Self-Embedded Knitting Programs with Twine
Amy Zhu, Adriana Schulz, and Zachary Tatlock
(University of Washington, USA)
@InProceedings{FARM23p61,
author = {Amy Zhu and Adriana Schulz and Zachary Tatlock},
title = {Exploring Self-Embedded Knitting Programs with Twine},
booktitle = {Proc.\ FARM},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3609023.3609805},
year = {2023},
}
Publisher's Version
Article: icfpws23farmmain-p5-p doi:10.1145/3609023.3609805
|