Skip to content

Instantly share code, notes, and snippets.

@moewew
Created February 28, 2022 20:15
Show Gist options
  • Save moewew/e533c6fde5a5abc96b44503bec2e3c3e to your computer and use it in GitHub Desktop.
Save moewew/e533c6fde5a5abc96b44503bec2e3c3e to your computer and use it in GitHub Desktop.
\documentclass[10pt,a4paper]{article}
\usepackage[backend=biber]{biblatex}
\begin{filecontents}[overwrite]{\jobname.bib}
@inproceedings{iris,
author = {Ralf Jung and
David Swasey and
Filip Sieczkowski and
Kasper Svendsen and
Aaron Turon and
Lars Birkedal and
Derek Dreyer},
title = {{Iris}: Monoids and Invariants as an Orthogonal Basis for Concurrent
Reasoning},
booktitle = {{POPL}},
year = {2015},
doi = {10.1145/2676726.2676980},
}
\end{filecontents}
\addbibresource{\jobname.bib}
\begin{document}
\fullcite{iris}
\end{document}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment