| |
Bendixen, Alexander Rønning
|
AGERE '19: "Locations and Session Types ..."
Locations and Session Types in a Language with Higher-Order Reflection
Michael Tran, Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, and Stian Lasse Lybech
(Aalborg University, Denmark)
@InProceedings{AGERE19p31,
author = {Michael Tran and Alexander Rønning Bendixen and Bjarke Bredow Bojesen and Hans Hüttel and Stian Lasse Lybech},
title = {Locations and Session Types in a Language with Higher-Order Reflection},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3358499.3361223},
year = {2019},
}
 Publisher's Version
Article: splashws19ageremain-p4-p doi:10.1145/3358499.3361223
|
| |
Blessing, Sebastian |
AGERE '19: "Run, Actor, Run: Towards Cross-Actor ..."
Run, Actor, Run: Towards Cross-Actor Language Benchmarking
Sebastian Blessing, Kiko Fernandez-Reyes, Albert Mingkun Yang, Sophia Drossopoulou, and Tobias Wrigstad
(Imperial College London, UK; Uppsala University, Sweden)
@InProceedings{AGERE19p41,
author = {Sebastian Blessing and Kiko Fernandez-Reyes and Albert Mingkun Yang and Sophia Drossopoulou and Tobias Wrigstad},
title = {Run, Actor, Run: Towards Cross-Actor Language Benchmarking},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3358499.3361224},
year = {2019},
}
Publisher's Version
Article: splashws19ageremain-p6-p doi:10.1145/3358499.3361224
|
| |
Bojesen, Bjarke Bredow |
AGERE '19: "Locations and Session Types ..."
Locations and Session Types in a Language with Higher-Order Reflection
Michael Tran, Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, and Stian Lasse Lybech
(Aalborg University, Denmark)
@InProceedings{AGERE19p31,
author = {Michael Tran and Alexander Rønning Bendixen and Bjarke Bredow Bojesen and Hans Hüttel and Stian Lasse Lybech},
title = {Locations and Session Types in a Language with Higher-Order Reflection},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3358499.3361223},
year = {2019},
}
Publisher's Version
Article: splashws19ageremain-p4-p doi:10.1145/3358499.3361223
|
| |
Drossopoulou, Sophia
|
AGERE '19: "Run, Actor, Run: Towards Cross-Actor ..."
Run, Actor, Run: Towards Cross-Actor Language Benchmarking
Sebastian Blessing, Kiko Fernandez-Reyes, Albert Mingkun Yang, Sophia Drossopoulou, and Tobias Wrigstad
(Imperial College London, UK; Uppsala University, Sweden)
@InProceedings{AGERE19p41,
author = {Sebastian Blessing and Kiko Fernandez-Reyes and Albert Mingkun Yang and Sophia Drossopoulou and Tobias Wrigstad},
title = {Run, Actor, Run: Towards Cross-Actor Language Benchmarking},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3358499.3361224},
year = {2019},
}
Publisher's Version
Article: splashws19ageremain-p6-p doi:10.1145/3358499.3361224
|
| |
Fernandez-Reyes, Kiko
|
AGERE '19: "Run, Actor, Run: Towards Cross-Actor ..."
Run, Actor, Run: Towards Cross-Actor Language Benchmarking
Sebastian Blessing, Kiko Fernandez-Reyes, Albert Mingkun Yang, Sophia Drossopoulou, and Tobias Wrigstad
(Imperial College London, UK; Uppsala University, Sweden)
@InProceedings{AGERE19p41,
author = {Sebastian Blessing and Kiko Fernandez-Reyes and Albert Mingkun Yang and Sophia Drossopoulou and Tobias Wrigstad},
title = {Run, Actor, Run: Towards Cross-Actor Language Benchmarking},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3358499.3361224},
year = {2019},
}
Publisher's Version
Article: splashws19ageremain-p6-p doi:10.1145/3358499.3361224
|
| |
Gordon, Colin S.
|
AGERE '19: "Modal Assertions for Actor ..."
Modal Assertions for Actor Correctness
Colin S. Gordon
(Drexel University, USA)
@InProceedings{AGERE19p11,
author = {Colin S. Gordon},
title = {Modal Assertions for Actor Correctness},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3358499.3361221},
year = {2019},
}
Publisher's Version
Article: splashws19ageremain-p2-p doi:10.1145/3358499.3361221
|
| |
Hüttel, Hans
|
AGERE '19: "Locations and Session Types ..."
Locations and Session Types in a Language with Higher-Order Reflection
Michael Tran, Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, and Stian Lasse Lybech
(Aalborg University, Denmark)
@InProceedings{AGERE19p31,
author = {Michael Tran and Alexander Rønning Bendixen and Bjarke Bredow Bojesen and Hans Hüttel and Stian Lasse Lybech},
title = {Locations and Session Types in a Language with Higher-Order Reflection},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3358499.3361223},
year = {2019},
}
Publisher's Version
Article: splashws19ageremain-p4-p doi:10.1145/3358499.3361223
|
| |
Lybech, Stian Lasse
|
AGERE '19: "Locations and Session Types ..."
Locations and Session Types in a Language with Higher-Order Reflection
Michael Tran, Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, and Stian Lasse Lybech
(Aalborg University, Denmark)
@InProceedings{AGERE19p31,
author = {Michael Tran and Alexander Rønning Bendixen and Bjarke Bredow Bojesen and Hans Hüttel and Stian Lasse Lybech},
title = {Locations and Session Types in a Language with Higher-Order Reflection},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3358499.3361223},
year = {2019},
}
Publisher's Version
Article: splashws19ageremain-p4-p doi:10.1145/3358499.3361223
|
| |
Sakurai, Kouhei
|
AGERE '19: "Actor-Based Incremental Tree ..."
Actor-Based Incremental Tree Data Processing for Large-Scale Machine Learning Applications
Kouhei Sakurai and Taiki Shimizu
(Kanazawa University, Japan)
@InProceedings{AGERE19p1,
author = {Kouhei Sakurai and Taiki Shimizu},
title = {Actor-Based Incremental Tree Data Processing for Large-Scale Machine Learning Applications},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3358499.3361220},
year = {2019},
}
Publisher's Version
Article: splashws19ageremain-p1-p doi:10.1145/3358499.3361220
|
| |
Shimizu, Taiki |
AGERE '19: "Actor-Based Incremental Tree ..."
Actor-Based Incremental Tree Data Processing for Large-Scale Machine Learning Applications
Kouhei Sakurai and Taiki Shimizu
(Kanazawa University, Japan)
@InProceedings{AGERE19p1,
author = {Kouhei Sakurai and Taiki Shimizu},
title = {Actor-Based Incremental Tree Data Processing for Large-Scale Machine Learning Applications},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3358499.3361220},
year = {2019},
}
Publisher's Version
Article: splashws19ageremain-p1-p doi:10.1145/3358499.3361220
|
| |
Soethout, Tim |
AGERE '19: "Static Local Coordination ..."
Static Local Coordination Avoidance for Distributed Objects
Tim Soethout, Tijs van der Storm, and Jurgen J. Vinju
(ING Bank, Netherlands; CWI, Netherlands)
@InProceedings{AGERE19p21,
author = {Tim Soethout and Tijs van der Storm and Jurgen J. Vinju},
title = {Static Local Coordination Avoidance for Distributed Objects},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3358499.3361222},
year = {2019},
}
Publisher's Version
Article: splashws19ageremain-p3-p doi:10.1145/3358499.3361222
|
| |
Tran, Michael
|
AGERE '19: "Locations and Session Types ..."
Locations and Session Types in a Language with Higher-Order Reflection
Michael Tran, Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, and Stian Lasse Lybech
(Aalborg University, Denmark)
@InProceedings{AGERE19p31,
author = {Michael Tran and Alexander Rønning Bendixen and Bjarke Bredow Bojesen and Hans Hüttel and Stian Lasse Lybech},
title = {Locations and Session Types in a Language with Higher-Order Reflection},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3358499.3361223},
year = {2019},
}
Publisher's Version
Article: splashws19ageremain-p4-p doi:10.1145/3358499.3361223
|
| |
Van der Storm, Tijs
|
AGERE '19: "Static Local Coordination ..."
Static Local Coordination Avoidance for Distributed Objects
Tim Soethout, Tijs van der Storm, and Jurgen J. Vinju
(ING Bank, Netherlands; CWI, Netherlands)
@InProceedings{AGERE19p21,
author = {Tim Soethout and Tijs van der Storm and Jurgen J. Vinju},
title = {Static Local Coordination Avoidance for Distributed Objects},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3358499.3361222},
year = {2019},
}
Publisher's Version
Article: splashws19ageremain-p3-p doi:10.1145/3358499.3361222
|
| |
Vinju, Jurgen J. |
AGERE '19: "Static Local Coordination ..."
Static Local Coordination Avoidance for Distributed Objects
Tim Soethout, Tijs van der Storm, and Jurgen J. Vinju
(ING Bank, Netherlands; CWI, Netherlands)
@InProceedings{AGERE19p21,
author = {Tim Soethout and Tijs van der Storm and Jurgen J. Vinju},
title = {Static Local Coordination Avoidance for Distributed Objects},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3358499.3361222},
year = {2019},
}
Publisher's Version
Article: splashws19ageremain-p3-p doi:10.1145/3358499.3361222
|
| |
Wrigstad, Tobias
|
AGERE '19: "Run, Actor, Run: Towards Cross-Actor ..."
Run, Actor, Run: Towards Cross-Actor Language Benchmarking
Sebastian Blessing, Kiko Fernandez-Reyes, Albert Mingkun Yang, Sophia Drossopoulou, and Tobias Wrigstad
(Imperial College London, UK; Uppsala University, Sweden)
@InProceedings{AGERE19p41,
author = {Sebastian Blessing and Kiko Fernandez-Reyes and Albert Mingkun Yang and Sophia Drossopoulou and Tobias Wrigstad},
title = {Run, Actor, Run: Towards Cross-Actor Language Benchmarking},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3358499.3361224},
year = {2019},
}
Publisher's Version
Article: splashws19ageremain-p6-p doi:10.1145/3358499.3361224
|
| |
Yang, Albert Mingkun
|
AGERE '19: "Run, Actor, Run: Towards Cross-Actor ..."
Run, Actor, Run: Towards Cross-Actor Language Benchmarking
Sebastian Blessing, Kiko Fernandez-Reyes, Albert Mingkun Yang, Sophia Drossopoulou, and Tobias Wrigstad
(Imperial College London, UK; Uppsala University, Sweden)
@InProceedings{AGERE19p41,
author = {Sebastian Blessing and Kiko Fernandez-Reyes and Albert Mingkun Yang and Sophia Drossopoulou and Tobias Wrigstad},
title = {Run, Actor, Run: Towards Cross-Actor Language Benchmarking},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3358499.3361224},
year = {2019},
}
Publisher's Version
Article: splashws19ageremain-p6-p doi:10.1145/3358499.3361224
|