Skip to content

Commit

Permalink
deploy: a9759c5
Browse files Browse the repository at this point in the history
  • Loading branch information
@jonsterling
jonsterling committed Jul 21, 2024
1 parent d466594 commit 8b9404a
Show file tree
Hide file tree
Showing 2,068 changed files with 206,043 additions and 197,686 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>9505</fr:anchor><fr:addr>aagaard-sterling-birkedal-2023</fr:addr><fr:route>aagaard-sterling-birkedal-2023.xml</fr:route><fr:title>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
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>9554</fr:anchor><fr:addr>aagaard-sterling-birkedal-2023</fr:addr><fr:route>aagaard-sterling-birkedal-2023.xml</fr:route><fr:title>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"
href="flaagaard.xml"
addr="flaagaard"
Expand Down Expand Up @@ -41,7 +41,7 @@ show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>9509</fr:anchor><fr:addr>sterling-gratzer-birkedal-2022</fr:addr><fr:route>sterling-gratzer-birkedal-2022.xml</fr:route><fr:title>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
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>9558</fr:anchor><fr:addr>sterling-gratzer-birkedal-2022</fr:addr><fr:route>sterling-gratzer-birkedal-2022.xml</fr:route><fr:title>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"
href="jonmsterling.xml"
addr="jonmsterling"
Expand Down Expand Up @@ -79,7 +79,7 @@ show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>9513</fr:anchor><fr:addr>jms-0079</fr:addr><fr:route>jms-0079.xml</fr:route><fr:title>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
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>9562</fr:anchor><fr:addr>jms-0079</fr:addr><fr:route>jms-0079.xml</fr:route><fr:title>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"
href="jonmsterling.xml"
addr="jonmsterling"
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>18396</fr:anchor><fr:addr>abbes-2006</fr:addr><fr:route>abbes-2006.xml</fr:route><fr:title>A Cartesian closed category of <fr:link
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18447</fr:anchor><fr:addr>abbes-2006</fr:addr><fr:route>abbes-2006.xml</fr:route><fr:title>A Cartesian closed category of <fr:link
type="local"
href="jms-00BN.xml"
addr="jms-00BN"
Expand Down Expand Up @@ -37,7 +37,7 @@ show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18398</fr:anchor><fr:addr>jms-00BT</fr:addr><fr:route>jms-00BT.xml</fr:route><fr:title><fr:link
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18449</fr:anchor><fr:addr>jms-00BT</fr:addr><fr:route>jms-00BT.xml</fr:route><fr:title><fr:link
type="local"
href="jms-00BN.xml"
addr="jms-00BN"
Expand Down Expand Up @@ -67,7 +67,7 @@ show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18400</fr:anchor><fr:addr>jms-00BN</fr:addr><fr:route>jms-00BN.xml</fr:route><fr:title>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
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18451</fr:anchor><fr:addr>jms-00BN</fr:addr><fr:route>jms-00BN.xml</fr:route><fr:title>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"
href="jonmsterling.xml"
addr="jonmsterling"
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>17703</fr:anchor><fr:addr>abchfl-2021</fr:addr><fr:route>abchfl-2021.xml</fr:route><fr:title>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
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17754</fr:anchor><fr:addr>abchfl-2021</fr:addr><fr:route>abchfl-2021.xml</fr:route><fr:title>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"
href="carloangiuli.xml"
addr="carloangiuli"
Expand Down Expand Up @@ -45,7 +45,7 @@ show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17710</fr:anchor><fr:addr>jms-000R</fr:addr><fr:route>jms-000R.xml</fr:route><fr:title>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
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17761</fr:anchor><fr:addr>jms-000R</fr:addr><fr:route>jms-000R.xml</fr:route><fr:title>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"
href="jonmsterling.xml"
addr="jonmsterling"
Expand Down Expand Up @@ -105,7 +105,7 @@ show-heading="true"
show-metadata="false"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16064</fr:anchor><fr:addr>jms-000S</fr:addr><fr:route>jms-000S.xml</fr:route><fr:title>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
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16115</fr:anchor><fr:addr>jms-000S</fr:addr><fr:route>jms-000S.xml</fr:route><fr:title>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
display="inline"><![CDATA[n\in \mathbb {N}]]></fr:tex> such that <fr:tex
display="inline"><![CDATA[\cdot \vdash N\equiv \bar {n}:\mathsf {nat}]]></fr:tex> where <fr:tex
Expand All @@ -117,7 +117,7 @@ show-heading="true"
show-metadata="false"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16065</fr:anchor><fr:addr>jms-000T</fr:addr><fr:route>jms-000T.xml</fr:route><fr:title>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
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16116</fr:anchor><fr:addr>jms-000T</fr:addr><fr:route>jms-000T.xml</fr:route><fr:title>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
display="inline"><![CDATA[\Gamma \vdash {A\equiv B}\ \textit {type}]]></fr:tex>, <fr:tex
display="inline"><![CDATA[\Gamma \vdash M:A]]></fr:tex>, and <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>18889</fr:anchor><fr:addr>abigailpribisova</fr:addr><fr:route>abigailpribisova.xml</fr:route><fr:title>Abigail Pribisova</fr:title><fr:authors /><fr:meta
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18940</fr:anchor><fr:addr>abigailpribisova</fr:addr><fr:route>abigailpribisova.xml</fr:route><fr:title>Abigail Pribisova</fr:title><fr:authors /><fr:meta
name="position">MPhil Student</fr:meta><fr:meta
name="institution"><fr:link
type="local"
Expand All @@ -27,5 +27,5 @@ show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18890</fr:anchor><fr:addr>ucam</fr:addr><fr:route>ucam.xml</fr:route><fr:title>University of Cambridge</fr:title><fr:taxon>Institution</fr:taxon><fr:authors /><fr:meta
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>18941</fr:anchor><fr:addr>ucam</fr:addr><fr:route>ucam.xml</fr:route><fr:title>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>17724</fr:anchor><fr:addr>acmz-2021</fr:addr><fr:route>acmz-2021.xml</fr:route><fr:title>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
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17775</fr:anchor><fr:addr>acmz-2021</fr:addr><fr:route>acmz-2021.xml</fr:route><fr:title>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"
href="carloangiuli.xml"
addr="carloangiuli"
Expand Down Expand Up @@ -49,7 +49,7 @@ show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17729</fr:anchor><fr:addr>jms-000R</fr:addr><fr:route>jms-000R.xml</fr:route><fr:title>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
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17780</fr:anchor><fr:addr>jms-000R</fr:addr><fr:route>jms-000R.xml</fr:route><fr:title>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"
href="jonmsterling.xml"
addr="jonmsterling"
Expand Down Expand Up @@ -109,7 +109,7 @@ show-heading="true"
show-metadata="false"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16064</fr:anchor><fr:addr>jms-000S</fr:addr><fr:route>jms-000S.xml</fr:route><fr:title>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
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16115</fr:anchor><fr:addr>jms-000S</fr:addr><fr:route>jms-000S.xml</fr:route><fr:title>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
display="inline"><![CDATA[n\in \mathbb {N}]]></fr:tex> such that <fr:tex
display="inline"><![CDATA[\cdot \vdash N\equiv \bar {n}:\mathsf {nat}]]></fr:tex> where <fr:tex
Expand All @@ -121,7 +121,7 @@ show-heading="true"
show-metadata="false"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16065</fr:anchor><fr:addr>jms-000T</fr:addr><fr:route>jms-000T.xml</fr:route><fr:title>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
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>16116</fr:anchor><fr:addr>jms-000T</fr:addr><fr:route>jms-000T.xml</fr:route><fr:title>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
display="inline"><![CDATA[\Gamma \vdash {A\equiv B}\ \textit {type}]]></fr:tex>, <fr:tex
display="inline"><![CDATA[\Gamma \vdash M:A]]></fr:tex>, and <fr:tex
Expand Down Expand Up @@ -155,5 +155,5 @@ show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17731</fr:anchor><fr:addr>pacmpl</fr:addr><fr:route>pacmpl.xml</fr:route><fr:title>Proceedings of the ACM on Programming Languages</fr:title><fr:taxon>Journal</fr:taxon><fr:authors /><fr:meta
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>17782</fr:anchor><fr:addr>pacmpl</fr:addr><fr:route>pacmpl.xml</fr:route><fr:title>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>
Loading

0 comments on commit 8b9404a

Please sign in to comment.