Skip to content

Commit

Permalink
deploy: dcbc0c9
Browse files Browse the repository at this point in the history
  • Loading branch information
@jonsterling
jonsterling committed Jan 26, 2025
1 parent 3acfb9b commit a3f1fbd
Show file tree
Hide file tree
Showing 1,498 changed files with 29,913 additions and 29,913 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>6956</fr:anchor>
<fr:anchor>6975</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>6950</fr:anchor>
<fr:anchor>6969</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>6949</fr:anchor>
<fr:anchor>6968</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>6951</fr:anchor>
<fr:anchor>6970</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>6953</fr:anchor>
<fr:anchor>6972</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>6952</fr:anchor>
<fr:anchor>6971</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>6954</fr:anchor>
<fr:anchor>6973</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>6955</fr:anchor>
<fr:anchor>6974</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>9911</fr:anchor>
<fr:anchor>9952</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>9904</fr:anchor>
<fr:anchor>9945</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>9905</fr:anchor>
<fr:anchor>9946</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>9907</fr:anchor>
<fr:anchor>9948</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>9906</fr:anchor>
<fr:anchor>9947</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>9909</fr:anchor>
<fr:anchor>9950</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>9908</fr:anchor>
<fr:anchor>9949</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>9910</fr:anchor>
<fr:anchor>9951</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter />
Expand Down
4 changes: 2 additions & 2 deletions abchfl-2021.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -86,7 +86,7 @@
<fr:month>1</fr:month>
<fr:day>19</fr:day>
</fr:date>
<fr:anchor>1393</fr:anchor>
<fr:anchor>1430</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>1394</fr:anchor>
<fr:anchor>1431</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 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>1997</fr:anchor>
<fr:anchor>2007</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>1991</fr:anchor>
<fr:anchor>2001</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>1992</fr:anchor>
<fr:anchor>2002</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>1993</fr:anchor>
<fr:anchor>2003</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>1995</fr:anchor>
<fr:anchor>2005</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>1994</fr:anchor>
<fr:anchor>2004</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>1996</fr:anchor>
<fr:anchor>2006</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter />
Expand Down
4 changes: 2 additions & 2 deletions acmz-2021.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -97,7 +97,7 @@
<fr:month>1</fr:month>
<fr:day>19</fr:day>
</fr:date>
<fr:anchor>1393</fr:anchor>
<fr:anchor>1430</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>1394</fr:anchor>
<fr:anchor>1431</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 Down
18 changes: 9 additions & 9 deletions afosr.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>11561</fr:anchor>
<fr:anchor>11570</fr:anchor>
<fr:addr type="user">afosr</fr:addr>
<fr:route>afosr.xml</fr:route>
<fr:title text="United States Air Force Office of Scientific Research">United States Air Force Office of Scientific Research</fr:title>
Expand All @@ -13,21 +13,21 @@
<fr:backmatter>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>11553</fr:anchor>
<fr:anchor>11562</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>11554</fr:anchor>
<fr:anchor>11563</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>11558</fr:anchor>
<fr:anchor>11567</fr:anchor>
<fr:title text="Backlinks">Backlinks</fr:title>
</fr:frontmatter>
<fr:mainmatter>
Expand All @@ -42,7 +42,7 @@
<fr:year>2023</fr:year>
<fr:month>9</fr:month>
</fr:date>
<fr:anchor>11555</fr:anchor>
<fr:anchor>11564</fr:anchor>
<fr:addr type="user">jms-008K</fr:addr>
<fr:route>jms-008K.xml</fr:route>
<fr:title text="New Spaces for Denotational Semantics">New Spaces for Denotational Semantics</fr:title>
Expand Down Expand Up @@ -146,7 +146,7 @@
<fr:date>
<fr:year>2021</fr:year>
</fr:date>
<fr:anchor>11556</fr:anchor>
<fr:anchor>11565</fr:anchor>
<fr:addr type="user">jms-006C</fr:addr>
<fr:route>jms-006C.xml</fr:route>
<fr:title text="Session types and phase distinctions for noninterference">Session types and phase distinctions for noninterference</fr:title>
Expand Down Expand Up @@ -219,7 +219,7 @@
<fr:tree show-metadata="true" expanded="false" toc="false" numbered="false">
<fr:frontmatter>
<fr:authors />
<fr:anchor>11557</fr:anchor>
<fr:anchor>11566</fr:anchor>
<fr:addr type="user">tristannguyen</fr:addr>
<fr:route>tristannguyen.xml</fr:route>
<fr:title text="Tristan Nguyen">Tristan Nguyen</fr:title>
Expand All @@ -235,14 +235,14 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>11559</fr:anchor>
<fr:anchor>11568</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>11560</fr:anchor>
<fr:anchor>11569</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter />
Expand Down
348 changes: 174 additions & 174 deletions ahrens-lumsdaine-2019.xml
View file

Large diffs are not rendered by default.

12 changes: 6 additions & 6 deletions ajdejong.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>6104</fr:anchor>
<fr:anchor>6088</fr:anchor>
<fr:addr type="user">ajdejong</fr:addr>
<fr:route>ajdejong.xml</fr:route>
<fr:title text="Aise Johan de Jong">Aise Johan de Jong</fr:title>
Expand All @@ -16,35 +16,35 @@
<fr:backmatter>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>6099</fr:anchor>
<fr:anchor>6083</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>6100</fr:anchor>
<fr:anchor>6084</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>6101</fr:anchor>
<fr:anchor>6085</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>6102</fr:anchor>
<fr:anchor>6086</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>6103</fr:anchor>
<fr:anchor>6087</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter />
Expand Down
Loading

0 comments on commit a3f1fbd

Please sign in to comment.