Created
February 28, 2022 20:15
-
-
Save moewew/e533c6fde5a5abc96b44503bec2e3c3e to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
\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