justhsu/justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

bib

Browse Source
This commit is contained in:
Justin Hsu 2025-08-04 21:11:49 +01:00
parent 18e7ca5162
commit 039062fa23
1 changed files with 17 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
bibs/myrefs.bib
View File

@ -1367,7 +1367,7 @@ inproceedings{HHRRW14,
acceptance = {123/433=0.28}, acceptance = {123/433=0.28},
} }
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SURVEYS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% BLOGS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@misc{plp-blog-ct, @misc{plp-blog-ct,
title = {Teaching Category Theory to Computer Scientists}, title = {Teaching Category Theory to Computer Scientists},
author = {Hsu, Justin}, author = {Hsu, Justin},
@ -1466,6 +1466,22 @@ inproceedings{HHRRW14,
} }
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% WORKSHOPS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% WORKSHOPS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@inproceedings{FFFGHR25,
title = {Towards an Axiomatisation of the Neighborhood Monad},
author = {Fan, Max and
Ford, Chase and
Forster, Jonas and
Gar{\dh}arsson, J\'on H\'akon and
Hsu, Justin and
Richards, Jessica},
booktitle = {International Workshop on Behavioural Metrics and Quantitative
Logics ({BMQL}), Aarhus, Denmark, informal proceedings},
year = {2025},
jh = yes,
jhsite = yes,
reviewed = no,
}
@inproceedings{GGHHP13, @inproceedings{GGHHP13,
title = {Automatic Sensitivity Analysis using Linear Dependent Types}, title = {Automatic Sensitivity Analysis using Linear Dependent Types},
author = {Gaboardi, Marco and author = {Gaboardi, Marco and