Skip to content

Commit

Permalink
deploy: 8537d2b
Browse files Browse the repository at this point in the history
  • Loading branch information
@jonsterling
jonsterling committed Aug 19, 2024
1 parent e51aaa6 commit cff52da
Show file tree
Hide file tree
Showing 1,914 changed files with 69,017 additions and 68,865 deletions.
6 changes: 3 additions & 3 deletions aagaard-sterling-birkedal-2023.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ show-heading="true"
show-metadata="true"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>9564</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>9566</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><fr:taxon>Reference</fr:taxon><fr:date><fr:year>2023</fr:year><fr:month>11</fr:month><fr:day>23</fr:day></fr:date><fr:authors><fr:author><fr:link
type="local"
Expand Down Expand Up @@ -44,7 +44,7 @@ show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>9568</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>9570</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><fr:taxon>Reference</fr:taxon><fr:date><fr:year>2022</fr:year><fr:month>10</fr:month><fr:day>6</fr:day></fr:date><fr:authors><fr:author><fr:link
type="local"
Expand Down Expand Up @@ -85,7 +85,7 @@ show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>9572</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>9574</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><fr:date><fr:year>2023</fr:year><fr:month>8</fr:month><fr:day>15</fr:day></fr:date><fr:authors><fr:author><fr:link
type="local"
Expand Down
6 changes: 3 additions & 3 deletions abbes-2006.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ show-heading="true"
show-metadata="true"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18689</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18695</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
type="local"
Expand Down Expand Up @@ -40,7 +40,7 @@ show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18691</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18697</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
type="local"
Expand Down Expand Up @@ -73,7 +73,7 @@ show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18693</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18699</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><fr:taxon>Definition</fr:taxon><fr:date><fr:year>2023</fr:year><fr:month>10</fr:month><fr:day>26</fr:day></fr:date><fr:authors><fr:author><fr:link
type="local"
Expand Down
8 changes: 4 additions & 4 deletions abchfl-2021.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ show-heading="true"
show-metadata="true"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17988</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17992</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><fr:taxon>Reference</fr:taxon><fr:date><fr:year>2021</fr:year><fr:month>4</fr:month><fr:day>1</fr:day></fr:date><fr:authors><fr:author><fr:link
type="local"
Expand Down Expand Up @@ -48,7 +48,7 @@ show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17995</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17999</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><fr:date><fr:year>2023</fr:year><fr:month>1</fr:month><fr:day>19</fr:day></fr:date><fr:authors><fr:author><fr:link
type="local"
Expand Down Expand Up @@ -110,7 +110,7 @@ show-heading="true"
show-metadata="false"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16333</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16335</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><fr:taxon>Conjecture</fr:taxon><fr:date><fr:year>2023</fr:year><fr:month>1</fr:month><fr:day>19</fr:day></fr:date><fr:authors /></fr:frontmatter><fr:mainmatter><fr:p>For any closed term <fr:tex
display="inline"><![CDATA[\cdot \vdash N:\mathsf {nat}]]></fr:tex> of cubical type theory, there exists a unique natural number <fr:tex
Expand All @@ -124,7 +124,7 @@ show-heading="true"
show-metadata="false"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16334</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16336</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><fr:taxon>Conjecture</fr:taxon><fr:date><fr:year>2023</fr:year><fr:month>1</fr:month><fr:day>19</fr:day></fr:date><fr:authors /></fr:frontmatter><fr:mainmatter><fr:p>The assertions <fr:tex
display="inline"><![CDATA[\Gamma \vdash {A}\ \textit {type}]]></fr:tex>, <fr:tex
Expand Down
4 changes: 2 additions & 2 deletions abigailpribisova.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ show-heading="true"
show-metadata="true"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>19186</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>19194</fr:anchor><fr:addr
type="user">abigailpribisova</fr:addr><fr:route>abigailpribisova.xml</fr:route><fr:title
text="Abigail Pribisova">Abigail Pribisova</fr:title><fr:authors /><fr:meta
name="position">MPhil Student</fr:meta><fr:meta
Expand All @@ -30,7 +30,7 @@ show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>19187</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>19195</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><fr:taxon>Institution</fr:taxon><fr:authors /><fr:meta
name="external">https://www.cam.ac.uk/</fr:meta></fr:frontmatter><fr:mainmatter /><fr:backmatter /></fr:tree></fr:mainmatter><fr:backmatter /></fr:tree></fr:backmatter></fr:tree>
10 changes: 5 additions & 5 deletions acmz-2021.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ show-heading="true"
show-metadata="true"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18009</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18013</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><fr:taxon>Reference</fr:taxon><fr:date><fr:year>2021</fr:year><fr:month>1</fr:month><fr:day>4</fr:day></fr:date><fr:authors><fr:author><fr:link
type="local"
Expand Down Expand Up @@ -52,7 +52,7 @@ show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18014</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18018</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><fr:date><fr:year>2023</fr:year><fr:month>1</fr:month><fr:day>19</fr:day></fr:date><fr:authors><fr:author><fr:link
type="local"
Expand Down Expand Up @@ -114,7 +114,7 @@ show-heading="true"
show-metadata="false"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16333</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16335</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><fr:taxon>Conjecture</fr:taxon><fr:date><fr:year>2023</fr:year><fr:month>1</fr:month><fr:day>19</fr:day></fr:date><fr:authors /></fr:frontmatter><fr:mainmatter><fr:p>For any closed term <fr:tex
display="inline"><![CDATA[\cdot \vdash N:\mathsf {nat}]]></fr:tex> of cubical type theory, there exists a unique natural number <fr:tex
Expand All @@ -128,7 +128,7 @@ show-heading="true"
show-metadata="false"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16334</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16336</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><fr:taxon>Conjecture</fr:taxon><fr:date><fr:year>2023</fr:year><fr:month>1</fr:month><fr:day>19</fr:day></fr:date><fr:authors /></fr:frontmatter><fr:mainmatter><fr:p>The assertions <fr:tex
display="inline"><![CDATA[\Gamma \vdash {A}\ \textit {type}]]></fr:tex>, <fr:tex
Expand Down Expand Up @@ -165,7 +165,7 @@ show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18016</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18020</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><fr:taxon>Journal</fr:taxon><fr:authors /><fr:meta
name="external">https://dl.acm.org/journal/pacmpl</fr:meta></fr:frontmatter><fr:mainmatter><fr:p><fr:em>Proceedings of the ACM on Programming Languages</fr:em> (PACMPL) is a Gold Open Access journal publishing research on all aspects of programming languages, from design to implementation and from mathematical formalisms to empirical studies. Each issue of the journal is devoted to a particular subject area within programming languages and will be announced through publicized Calls for Papers. All accepted papers receive two rounds of reviewing and authors can expect initial decisions regarding submissions in under 3 months. The journal operates in close collaboration with the Special Interest Group on Programming Languages (SIGPLAN) and is committed to making high-quality peer-reviewed scientific research in programming languages free of restrictions on both access and use.</fr:p></fr:mainmatter><fr:backmatter /></fr:tree></fr:mainmatter><fr:backmatter /></fr:tree></fr:backmatter></fr:tree>
4 changes: 2 additions & 2 deletions act-2022.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ show-heading="true"
show-metadata="true"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17579</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17581</fr:anchor><fr:addr
type="user">act-2022</fr:addr><fr:route>act-2022.xml</fr:route><fr:title
text="ACT ’22: International Conference on Applied Category Theory"><fr:em>ACT ’22</fr:em>: International Conference on Applied Category Theory</fr:title><fr:taxon>Conference</fr:taxon><fr:date><fr:year>2022</fr:year><fr:month>7</fr:month></fr:date><fr:authors /><fr:meta
name="external">https://msp.cis.strath.ac.uk/act2022/</fr:meta></fr:frontmatter><fr:mainmatter><fr:p><fr:link
Expand All @@ -27,7 +27,7 @@ show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17580</fr:anchor><fr:addr
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17582</fr:anchor><fr:addr
type="user">jms-00AF</fr:addr><fr:route>jms-00AF.xml</fr:route><fr:title
text="Jon Sterling › conference program committees"><fr:link
type="local"
Expand Down
Loading

0 comments on commit cff52da

Please sign in to comment.