| |
Annus, Tavo
|
TyDe '24: "Term Search in Rust ..."
Term Search in Rust
Tavo Annus and Philipp Joram
(Tallinn University of Technology, Estonia)
@InProceedings{TyDe24p91,
author = {Tavo Annus and Philipp Joram},
title = {Term Search in Rust},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3678000.3678210},
year = {2024},
}
 Publisher's Version
Article: icfpws24tydemain-p98-p (type: Full Paper) doi:10.1145/3678000.3678210
|
| |
Bach Poulsen, Casper
|
TyDe '24: "Modal μ-Calculus for Free ..."
Modal μ-Calculus for Free in Agda
Ivan Todorov and Casper Bach Poulsen
(Delft University of Technology, Netherlands)
@InProceedings{TyDe24p31,
author = {Ivan Todorov and Casper Bach Poulsen},
title = {Modal μ-Calculus for Free in Agda},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3678000.3678202},
year = {2024},
}
Publisher's Version
Article: icfpws24tydemain-p23-p (type: Full Paper) doi:10.1145/3678000.3678202
|
| |
Brady, Edwin |
TyDe '24: "Type-Level Property Based ..."
Type-Level Property Based Testing
Thomas Ekström Hansen and Edwin Brady
(University of St Andrews, United Kingdom)
@InProceedings{TyDe24p61,
author = {Thomas Ekström Hansen and Edwin Brady},
title = {Type-Level Property Based Testing},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3678000.3678206},
year = {2024},
}
Publisher's Version
 Archive submitted (20 kB)
Article: icfpws24tydemain-p40-p (type: Full Paper) doi:10.1145/3678000.3678206
|
| |
Etter, Marc
|
TyDe '24: "Towards Type-Directed API ..."
Towards Type-Directed API Search for Mainstream Languages
Marc Etter and Farhad Mehta
(OST University of Applied Sciences of Eastern Switzerland, Switzerland)
@InProceedings{TyDe24p76,
author = {Marc Etter and Farhad Mehta},
title = {Towards Type-Directed API Search for Mainstream Languages},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3678000.3678207},
year = {2024},
}
Publisher's Version
Article: icfpws24tydemain-p48-p (type: Full Paper) doi:10.1145/3678000.3678207
|
| |
Hansen, Thomas Ekström
|
TyDe '24: "Type-Level Property Based ..."
Type-Level Property Based Testing
Thomas Ekström Hansen and Edwin Brady
(University of St Andrews, United Kingdom)
@InProceedings{TyDe24p61,
author = {Thomas Ekström Hansen and Edwin Brady},
title = {Type-Level Property Based Testing},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3678000.3678206},
year = {2024},
}
Publisher's Version
Archive submitted (20 kB)
Article: icfpws24tydemain-p40-p (type: Full Paper) doi:10.1145/3678000.3678206
|
| |
Joram, Philipp
|
TyDe '24: "Term Search in Rust ..."
Term Search in Rust
Tavo Annus and Philipp Joram
(Tallinn University of Technology, Estonia)
@InProceedings{TyDe24p91,
author = {Tavo Annus and Philipp Joram},
title = {Term Search in Rust},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3678000.3678210},
year = {2024},
}
Publisher's Version
Article: icfpws24tydemain-p98-p (type: Full Paper) doi:10.1145/3678000.3678210
|
| |
Keller, Gabriele
|
TyDe '24: "Types for Correctness, Convenience, ..."
Types for Correctness, Convenience, and Performance (Keynote)
Gabriele Keller
(Utrecht University, Netherlands)
@InProceedings{TyDe24p1,
author = {Gabriele Keller},
title = {Types for Correctness, Convenience, and Performance (Keynote)},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3678000.3689534},
year = {2024},
}
Publisher's Version
Article: icfpws24tydemain-key1-p (type: Keynote) doi:10.1145/3678000.3689534
|
| |
Mehta, Farhad
|
TyDe '24: "Towards Type-Directed API ..."
Towards Type-Directed API Search for Mainstream Languages
Marc Etter and Farhad Mehta
(OST University of Applied Sciences of Eastern Switzerland, Switzerland)
@InProceedings{TyDe24p76,
author = {Marc Etter and Farhad Mehta},
title = {Towards Type-Directed API Search for Mainstream Languages},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3678000.3678207},
year = {2024},
}
Publisher's Version
Article: icfpws24tydemain-p48-p (type: Full Paper) doi:10.1145/3678000.3678207
|
| |
Monnier, Stefan |
TyDe '24: "Normalizable Types ..."
Normalizable Types
Stefan Monnier
(Université de Montréal, Canada)
@InProceedings{TyDe24p46,
author = {Stefan Monnier},
title = {Normalizable Types},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {46-45},
doi = {10.1145/3678000.3678203},
year = {2024},
}
Publisher's Version
Article: icfpws24tydemain-p33-p (type: Full Paper) doi:10.1145/3678000.3678203
|
| |
Saffrich, Hannes
|
TyDe '24: "Intrinsically Typed Syntax, ..."
Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma
Hannes Saffrich, Peter Thiemann, and Marius Weidner
(University of Freiburg, Germany)
@InProceedings{TyDe24p16,
author = {Hannes Saffrich and Peter Thiemann and Marius Weidner},
title = {Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3678000.3678201},
year = {2024},
}
Publisher's Version
Article: icfpws24tydemain-p14-p (type: Full Paper) doi:10.1145/3678000.3678201
|
| |
Thiemann, Peter
|
TyDe '24: "Intrinsically Typed Syntax, ..."
Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma
Hannes Saffrich, Peter Thiemann, and Marius Weidner
(University of Freiburg, Germany)
@InProceedings{TyDe24p16,
author = {Hannes Saffrich and Peter Thiemann and Marius Weidner},
title = {Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3678000.3678201},
year = {2024},
}
Publisher's Version
Article: icfpws24tydemain-p14-p (type: Full Paper) doi:10.1145/3678000.3678201
|
| |
Todorov, Ivan |
TyDe '24: "Modal μ-Calculus for Free ..."
Modal μ-Calculus for Free in Agda
Ivan Todorov and Casper Bach Poulsen
(Delft University of Technology, Netherlands)
@InProceedings{TyDe24p31,
author = {Ivan Todorov and Casper Bach Poulsen},
title = {Modal μ-Calculus for Free in Agda},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3678000.3678202},
year = {2024},
}
Publisher's Version
Article: icfpws24tydemain-p23-p (type: Full Paper) doi:10.1145/3678000.3678202
|
| |
Weidner, Marius
|
TyDe '24: "Intrinsically Typed Syntax, ..."
Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma
Hannes Saffrich, Peter Thiemann, and Marius Weidner
(University of Freiburg, Germany)
@InProceedings{TyDe24p16,
author = {Hannes Saffrich and Peter Thiemann and Marius Weidner},
title = {Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3678000.3678201},
year = {2024},
}
Publisher's Version
Article: icfpws24tydemain-p14-p (type: Full Paper) doi:10.1145/3678000.3678201
|