Skip to content

Commit

Permalink
deploy: b02f3f4
Browse files Browse the repository at this point in the history
  • Loading branch information
@jonsterling
jonsterling committed Jan 25, 2025
1 parent c666609 commit 3566bf7
Show file tree
Hide file tree
Showing 1,639 changed files with 34,690 additions and 34,690 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>6991</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>6985</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>6984</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>6986</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>6988</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>6987</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>6989</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>6990</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>1430</fr:anchor>
<fr:anchor>1444</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>1431</fr:anchor>
<fr:anchor>1445</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
16 changes: 8 additions & 8 deletions achimjung.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>23363</fr:anchor>
<fr:anchor>23372</fr:anchor>
<fr:addr type="user">achimjung</fr:addr>
<fr:route>achimjung.xml</fr:route>
<fr:title text="Achim Jung">Achim Jung</fr:title>
Expand All @@ -16,35 +16,35 @@
<fr:backmatter>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>23356</fr:anchor>
<fr:anchor>23365</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>23357</fr:anchor>
<fr:anchor>23366</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>23358</fr:anchor>
<fr:anchor>23367</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>23359</fr:anchor>
<fr:anchor>23368</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>23362</fr:anchor>
<fr:anchor>23371</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter>
Expand All @@ -64,7 +64,7 @@
<fr:month>10</fr:month>
<fr:day>22</fr:day>
</fr:date>
<fr:anchor>23360</fr:anchor>
<fr:anchor>23369</fr:anchor>
<fr:addr type="user">jung-moshier-vickers-2008</fr:addr>
<fr:route>jung-moshier-vickers-2008.xml</fr:route>
<fr:title text="Presenting dcpos and dcpo algebras">Presenting dcpos and dcpo algebras</fr:title>
Expand Down Expand Up @@ -100,7 +100,7 @@
<fr:month>1</fr:month>
<fr:day>1</fr:day>
</fr:date>
<fr:anchor>23361</fr:anchor>
<fr:anchor>23370</fr:anchor>
<fr:addr type="user">jung-tiuryn-1993</fr:addr>
<fr:route>jung-tiuryn-1993.xml</fr:route>
<fr:title text="A new characterization of lambda definability">A new characterization of lambda definability</fr:title>
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>1430</fr:anchor>
<fr:anchor>1444</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>1431</fr:anchor>
<fr:anchor>1445</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 adrienguatto.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>11991</fr:anchor>
<fr:anchor>11999</fr:anchor>
<fr:addr type="user">adrienguatto</fr:addr>
<fr:route>adrienguatto.xml</fr:route>
<fr:title text="Adrien Guatto">Adrien Guatto</fr:title>
Expand All @@ -18,28 +18,28 @@
<fr:backmatter>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>11983</fr:anchor>
<fr:anchor>11991</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>11984</fr:anchor>
<fr:anchor>11992</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>11986</fr:anchor>
<fr:anchor>11994</fr:anchor>
<fr:title text="Backlinks">Backlinks</fr:title>
</fr:frontmatter>
<fr:mainmatter>
<fr:tree show-metadata="true" expanded="false" toc="false" numbered="false">
<fr:frontmatter>
<fr:authors />
<fr:anchor>11985</fr:anchor>
<fr:anchor>11993</fr:anchor>
<fr:addr type="user">farzadjafarrahmani</fr:addr>
<fr:route>farzadjafarrahmani.xml</fr:route>
<fr:title text="Farzad Jafarrahmani">Farzad Jafarrahmani</fr:title>
Expand All @@ -57,14 +57,14 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>11988</fr:anchor>
<fr:anchor>11996</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>11987</fr:anchor>
<fr:anchor>11995</fr:anchor>
<fr:addr type="user">irif</fr:addr>
<fr:route>irif.xml</fr:route>
<fr:title text="IRIF">IRIF</fr:title>
Expand All @@ -79,7 +79,7 @@
</fr:tree>
<fr:tree show-metadata="false" hidden-when-empty="true">
<fr:frontmatter>
<fr:anchor>11990</fr:anchor>
<fr:anchor>11998</fr:anchor>
<fr:title text="Contributions">Contributions</fr:title>
</fr:frontmatter>
<fr:mainmatter>
Expand All @@ -93,7 +93,7 @@
<fr:date>
<fr:year>2018</fr:year>
</fr:date>
<fr:anchor>11989</fr:anchor>
<fr:anchor>11997</fr:anchor>
<fr:addr type="user">guatto-2018</fr:addr>
<fr:route>guatto-2018.xml</fr:route>
<fr:title text="A generalized modality for recursion">A generalized modality for recursion</fr:title>
Expand Down
Loading

0 comments on commit 3566bf7

Please sign in to comment.