Skip to content

Commit bb08f8f

Browse files
authored
fix: OOPSLA'26 PACMPL (#15)
1 parent db52018 commit bb08f8f

4 files changed

Lines changed: 16 additions & 20 deletions

File tree

index.html

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -560,8 +560,10 @@ <h2 xmlns=""><a href="https://2026.splashcon.org/track/splash-2026-oopsla">OOPSL
560560
<div class="item-header hanging">Effectively Propositional Higher-Order Functional Programming</div>
561561
<div class="hanging"><a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>, Kunha Kim, <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, and <a href="https://gowthamk.github.io/">Gowtham Kaki</a></div>
562562
<div class="hanging">
563-
<a href="https://2026.splashcon.org/track/splash-2026-oopsla">OOPSLA 2026</a>:
564-
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications
563+
564+
Proceedings of the ACM on Programming Languages
565+
PACMPL
566+
565567

566568
</div>
567569
</div>

papers.html

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -65,8 +65,10 @@
6565
<div class="item-header hanging">Effectively Propositional Higher-Order Functional Programming</div>
6666
<div class="hanging"><a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>, Kunha Kim, <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, and <a href="https://gowthamk.github.io/">Gowtham Kaki</a></div>
6767
<div class="hanging">
68-
<a href="https://2026.splashcon.org/track/splash-2026-oopsla">OOPSLA 2026</a>:
69-
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications
68+
69+
Proceedings of the ACM on Programming Languages
70+
PACMPL
71+
7072

7173
</div>
7274
</div>

papers/effectively-propositional-higher-order-functional-programming-oopsla26.html

Lines changed: 7 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@
88
<head>
99
<meta http-equiv="content-type" content="text/html; charset=utf-8"></meta>
1010
<title>
11-
OOPSLA 2026
11+
PACMPL
1212
:
1313
Effectively Propositional Higher-Order Functional Programming | CUPLV
1414
</title><script xmlns="" type="text/javascript" src="lib/sh_main.min.js"></script><script xmlns="" type="text/javascript" src="lib/sh_bib.js"></script><link xmlns="" href="lib/sh_style.css" rel="stylesheet" type="text/css"><script xmlns="" type="text/javascript">
@@ -49,7 +49,7 @@
4949
<div id="header">
5050
<div xmlns="" class="small-title">Effectively Propositional Higher-Order Functional Programming</div>
5151
<div xmlns="" class="subtitle">
52-
<a href="https://2026.splashcon.org/track/splash-2026-oopsla">OOPSLA 2026</a>
52+
PACMPL
5353

5454
</div>
5555
</div>
@@ -64,25 +64,17 @@ <h4 xmlns="">Reference</h4>
6464
<div class="item-header hanging">Effectively Propositional Higher-Order Functional Programming</div>
6565
<div class="hanging"><a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>, Kunha Kim, <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, and <a href="https://gowthamk.github.io/">Gowtham Kaki</a></div>
6666
<div class="hanging">
67-
<a href="https://2026.splashcon.org/track/splash-2026-oopsla">OOPSLA 2026</a>:
68-
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications
67+
68+
Proceedings of the ACM on Programming Languages
69+
PACMPL
70+
6971

7072
</div>
7173
</div>
7274
</div>
7375
<h4 xmlns="">Abstract</h4>
7476

75-
<h4 xmlns="">BibTeX</h4><pre xmlns="" class="sh_bib">
76-
@string{OOPSLA = "ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA)"}
77-
@inproceedings{effectively-propositional-higher-order-functional-programming-oopsla26,
78-
author = {Nicholas V. Lewchenko and Kunha Kim and Bor-Yuh Evan Chang and Gowtham Kaki},
79-
title = {Effectively Propositional Higher-Order Functional Programming},
80-
booktitle = OOPSLA,
81-
year = {2026},
82-
pages = {},
83-
84-
}
85-
</pre></div>
77+
</div>
8678
</div>
8779
</body>
8880
</html>

pl.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3501,7 +3501,7 @@ Boulder, located at the base of the Rocky Mountain foothills, is consistently aw
35013501
<urls>
35023502
</urls>
35033503
<howpub>
3504-
<proceedings event="oopsla26r1" />
3504+
<issue journal="pacmpl" event="oopsla26r1" />
35053505
</howpub>
35063506
<pages></pages>
35073507
<year>2026</year>

0 commit comments

Comments
 (0)