Skip to content

Commit

Permalink
deploy: 13ef3ce
Browse files Browse the repository at this point in the history
  • Loading branch information
@jonsterling
jonsterling committed Jan 26, 2025
1 parent 0491b60 commit 3acfb9b
Show file tree
Hide file tree
Showing 1,618 changed files with 31,117 additions and 31,117 deletions.
16 changes: 8 additions & 8 deletions aagaard-sterling-birkedal-2023.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@
<fr:month>11</fr:month>
<fr:day>23</fr:day>
</fr:date>
<fr:anchor>6975</fr:anchor>
<fr:anchor>6956</fr:anchor>
<fr:addr type="user">aagaard-sterling-birkedal-2023</fr:addr>
<fr:route>aagaard-sterling-birkedal-2023.xml</fr:route>
<fr:title text="A denotationally-based program logic for higher-order store">A denotationally-based program logic for higher-order store</fr:title>
Expand All @@ -32,7 +32,7 @@
<fr:backmatter>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>6969</fr:anchor>
<fr:anchor>6950</fr:anchor>
<fr:title text="References">References</fr:title>
</fr:frontmatter>
<fr:mainmatter>
Expand All @@ -54,7 +54,7 @@
<fr:month>10</fr:month>
<fr:day>6</fr:day>
</fr:date>
<fr:anchor>6968</fr:anchor>
<fr:anchor>6949</fr:anchor>
<fr:addr type="user">sterling-gratzer-birkedal-2022</fr:addr>
<fr:route>sterling-gratzer-birkedal-2022.xml</fr:route>
<fr:title text="Denotational semantics of general store and polymorphism">Denotational semantics of general store and polymorphism</fr:title>
Expand All @@ -76,14 +76,14 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>6970</fr:anchor>
<fr:anchor>6951</fr:anchor>
<fr:title text="Context">Context</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>6972</fr:anchor>
<fr:anchor>6953</fr:anchor>
<fr:title text="Backlinks">Backlinks</fr:title>
</fr:frontmatter>
<fr:mainmatter>
Expand All @@ -99,7 +99,7 @@
<fr:month>8</fr:month>
<fr:day>15</fr:day>
</fr:date>
<fr:anchor>6971</fr:anchor>
<fr:anchor>6952</fr:anchor>
<fr:addr type="user">jms-0079</fr:addr>
<fr:route>jms-0079.xml</fr:route>
<fr:title text="Equational higher-order separation logic for higher-order store">Equational higher-order separation logic for higher-order store</fr:title>
Expand All @@ -112,14 +112,14 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>6973</fr:anchor>
<fr:anchor>6954</fr:anchor>
<fr:title text="Related">Related</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>6974</fr:anchor>
<fr:anchor>6955</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter />
Expand Down
16 changes: 8 additions & 8 deletions abbes-2006.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
<fr:month>1</fr:month>
<fr:day>1</fr:day>
</fr:date>
<fr:anchor>9941</fr:anchor>
<fr:anchor>9911</fr:anchor>
<fr:addr type="user">abbes-2006</fr:addr>
<fr:route>abbes-2006.xml</fr:route>
<fr:title text="A Cartesian closed category of event structures with quotients">A Cartesian closed category of <fr:link href="jms-00BN.xml" title="Event structure" addr="jms-00BN" type="local">event structures</fr:link> with quotients</fr:title>
Expand All @@ -26,21 +26,21 @@
<fr:backmatter>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>9934</fr:anchor>
<fr:anchor>9904</fr:anchor>
<fr:title text="References">References</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>9935</fr:anchor>
<fr:anchor>9905</fr:anchor>
<fr:title text="Context">Context</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>9937</fr:anchor>
<fr:anchor>9907</fr:anchor>
<fr:title text="Backlinks">Backlinks</fr:title>
</fr:frontmatter>
<fr:mainmatter>
Expand All @@ -56,7 +56,7 @@
<fr:month>10</fr:month>
<fr:day>26</fr:day>
</fr:date>
<fr:anchor>9936</fr:anchor>
<fr:anchor>9906</fr:anchor>
<fr:addr type="user">jms-00BT</fr:addr>
<fr:route>jms-00BT.xml</fr:route>
<fr:title text="Event structures and prime algebraic domains"><fr:link href="jms-00BN.xml" title="Event structure" addr="jms-00BN" type="local">Event structures</fr:link> and prime algebraic domains</fr:title>
Expand All @@ -69,7 +69,7 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>9939</fr:anchor>
<fr:anchor>9909</fr:anchor>
<fr:title text="Related">Related</fr:title>
</fr:frontmatter>
<fr:mainmatter>
Expand All @@ -85,7 +85,7 @@
<fr:month>10</fr:month>
<fr:day>26</fr:day>
</fr:date>
<fr:anchor>9938</fr:anchor>
<fr:anchor>9908</fr:anchor>
<fr:addr type="user">jms-00BN</fr:addr>
<fr:route>jms-00BN.xml</fr:route>
<fr:title text="Event structure">Event structure</fr:title>
Expand All @@ -106,7 +106,7 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>9940</fr:anchor>
<fr:anchor>9910</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter />
Expand Down
18 changes: 9 additions & 9 deletions abchfl-2021.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
<fr:month>4</fr:month>
<fr:day>1</fr:day>
</fr:date>
<fr:anchor>12248</fr:anchor>
<fr:anchor>12249</fr:anchor>
<fr:addr type="user">abchfl-2021</fr:addr>
<fr:route>abchfl-2021.xml</fr:route>
<fr:title text="Syntax and models of Cartesian cubical type theory">Syntax and models of Cartesian cubical type theory</fr:title>
Expand All @@ -39,21 +39,21 @@
<fr:backmatter>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>12242</fr:anchor>
<fr:anchor>12243</fr:anchor>
<fr:title text="References">References</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>12243</fr:anchor>
<fr:anchor>12244</fr:anchor>
<fr:title text="Context">Context</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>12245</fr:anchor>
<fr:anchor>12246</fr:anchor>
<fr:title text="Backlinks">Backlinks</fr:title>
</fr:frontmatter>
<fr:mainmatter>
Expand All @@ -69,7 +69,7 @@
<fr:month>1</fr:month>
<fr:day>19</fr:day>
</fr:date>
<fr:anchor>12244</fr:anchor>
<fr:anchor>12245</fr:anchor>
<fr:addr type="user">jms-000R</fr:addr>
<fr:route>jms-000R.xml</fr:route>
<fr:title text="Background on homotopy and cubical type theory">Background on homotopy and cubical type theory</fr:title>
Expand All @@ -86,7 +86,7 @@
<fr:month>1</fr:month>
<fr:day>19</fr:day>
</fr:date>
<fr:anchor>1481</fr:anchor>
<fr:anchor>1393</fr:anchor>
<fr:addr type="user">jms-000S</fr:addr>
<fr:route>jms-000S.xml</fr:route>
<fr:title text="Cubical canonicity">Cubical canonicity</fr:title>
Expand All @@ -104,7 +104,7 @@
<fr:month>1</fr:month>
<fr:day>19</fr:day>
</fr:date>
<fr:anchor>1482</fr:anchor>
<fr:anchor>1394</fr:anchor>
<fr:addr type="user">jms-000T</fr:addr>
<fr:route>jms-000T.xml</fr:route>
<fr:title text="Decidability of cubical type theory">Decidability of cubical type theory</fr:title>
Expand All @@ -121,14 +121,14 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>12246</fr:anchor>
<fr:anchor>12247</fr:anchor>
<fr:title text="Related">Related</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>12247</fr:anchor>
<fr:anchor>12248</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter />
Expand Down
14 changes: 7 additions & 7 deletions abigailpribisova.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
<fr:tree xmlns:fr="http://www.jonmsterling.com/jms-005P.xml" root="false">
<fr:frontmatter>
<fr:authors />
<fr:anchor>1978</fr:anchor>
<fr:anchor>1997</fr:anchor>
<fr:addr type="user">abigailpribisova</fr:addr>
<fr:route>abigailpribisova.xml</fr:route>
<fr:title text="Abigail Pribisova">Abigail Pribisova</fr:title>
Expand All @@ -16,35 +16,35 @@
<fr:backmatter>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>1972</fr:anchor>
<fr:anchor>1991</fr:anchor>
<fr:title text="References">References</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>1973</fr:anchor>
<fr:anchor>1992</fr:anchor>
<fr:title text="Context">Context</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>1974</fr:anchor>
<fr:anchor>1993</fr:anchor>
<fr:title text="Backlinks">Backlinks</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>1976</fr:anchor>
<fr:anchor>1995</fr:anchor>
<fr:title text="Related">Related</fr:title>
</fr:frontmatter>
<fr:mainmatter>
<fr:tree show-metadata="true" expanded="false" toc="false" numbered="false">
<fr:frontmatter>
<fr:authors />
<fr:anchor>1975</fr:anchor>
<fr:anchor>1994</fr:anchor>
<fr:addr type="user">ucam</fr:addr>
<fr:route>ucam.xml</fr:route>
<fr:title text="University of Cambridge">University of Cambridge</fr:title>
Expand All @@ -57,7 +57,7 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>1977</fr:anchor>
<fr:anchor>1996</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter />
Expand Down
20 changes: 10 additions & 10 deletions acmz-2021.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@
<fr:month>1</fr:month>
<fr:day>4</fr:day>
</fr:date>
<fr:anchor>19716</fr:anchor>
<fr:anchor>19724</fr:anchor>
<fr:addr type="user">acmz-2021</fr:addr>
<fr:route>acmz-2021.xml</fr:route>
<fr:title text="Internalizing representation independence with univalence">Internalizing representation independence with univalence</fr:title>
Expand Down Expand Up @@ -50,21 +50,21 @@
<fr:backmatter>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>19709</fr:anchor>
<fr:anchor>19717</fr:anchor>
<fr:title text="References">References</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>19710</fr:anchor>
<fr:anchor>19718</fr:anchor>
<fr:title text="Context">Context</fr:title>
</fr:frontmatter>
<fr:mainmatter />
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>19712</fr:anchor>
<fr:anchor>19720</fr:anchor>
<fr:title text="Backlinks">Backlinks</fr:title>
</fr:frontmatter>
<fr:mainmatter>
Expand All @@ -80,7 +80,7 @@
<fr:month>1</fr:month>
<fr:day>19</fr:day>
</fr:date>
<fr:anchor>19711</fr:anchor>
<fr:anchor>19719</fr:anchor>
<fr:addr type="user">jms-000R</fr:addr>
<fr:route>jms-000R.xml</fr:route>
<fr:title text="Background on homotopy and cubical type theory">Background on homotopy and cubical type theory</fr:title>
Expand All @@ -97,7 +97,7 @@
<fr:month>1</fr:month>
<fr:day>19</fr:day>
</fr:date>
<fr:anchor>1481</fr:anchor>
<fr:anchor>1393</fr:anchor>
<fr:addr type="user">jms-000S</fr:addr>
<fr:route>jms-000S.xml</fr:route>
<fr:title text="Cubical canonicity">Cubical canonicity</fr:title>
Expand All @@ -115,7 +115,7 @@
<fr:month>1</fr:month>
<fr:day>19</fr:day>
</fr:date>
<fr:anchor>1482</fr:anchor>
<fr:anchor>1394</fr:anchor>
<fr:addr type="user">jms-000T</fr:addr>
<fr:route>jms-000T.xml</fr:route>
<fr:title text="Decidability of cubical type theory">Decidability of cubical type theory</fr:title>
Expand All @@ -132,14 +132,14 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>19714</fr:anchor>
<fr:anchor>19722</fr:anchor>
<fr:title text="Related">Related</fr:title>
</fr:frontmatter>
<fr:mainmatter>
<fr:tree show-metadata="true" expanded="false" toc="false" numbered="false">
<fr:frontmatter>
<fr:authors />
<fr:anchor>19713</fr:anchor>
<fr:anchor>19721</fr:anchor>
<fr:addr type="user">pacmpl</fr:addr>
<fr:route>pacmpl.xml</fr:route>
<fr:title text="Proceedings of the ACM on Programming Languages">Proceedings of the ACM on Programming Languages</fr:title>
Expand All @@ -154,7 +154,7 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>19715</fr:anchor>
<fr:anchor>19723</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter />
Expand Down
Loading

0 comments on commit 3acfb9b

Please sign in to comment.