-
-
Save matijapretnar/926db074d96b51b8aa079f66cc785e11 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import json | |
import re | |
import sys | |
import xml.etree.ElementTree as ET | |
import requests | |
DBLP_CACHE = "dblp_cache.json" | |
EFFECTS_BIBLIOGRAPHY_URL = "https://raw.githubusercontent.com/yallop/effects-bibliography/master/README.md" | |
PAPER_REGEX = re.compile( | |
r"\* \*\*(?P<title>.*?)\*\* \((?P<venue>.*?)\) \n" | |
r" by (?P<authors>.*)\n" | |
r"(?P<links>( \(\[.*?\]\(.*?\)\)\n)*)" | |
) | |
LINK_REGEX = re.compile(r"\(\[(?P<kind>.*?)\]\((?P<url>.*?)\)\)\n") | |
def clean_dblp_authors(authors): | |
if len(authors) == 1: | |
author_string = authors[0] | |
elif len(authors) == 2: | |
author_string = " and ".join(authors) | |
else: | |
*most, last = authors | |
author_string = ", ".join(most) + ", and " + last | |
# DBLP adds 000x identifiers to distinguish authors with the same name | |
return re.sub(r" \d{4}", "", author_string) | |
def get_dblp_data(dblp_key): | |
url = f"https://dblp.org/rec/{dblp_key}.xml" | |
response = requests.get(url) | |
xml_data = response.content | |
try: | |
root = ET.fromstring(xml_data) | |
entry = ( | |
root.find("article") | |
or root.find("incollection") | |
or root.find("inproceedings") | |
or root.find("phdthesis") | |
or root.find("proceedings") | |
) | |
try: | |
ee = entry.find("ee").text.strip() | |
except: | |
ee = None | |
data = { | |
"key": entry.get("key"), | |
"mdate": entry.get("mdate"), | |
"authors": clean_dblp_authors( | |
[author.text for author in entry.findall("author")] | |
), | |
"title": entry.find("title").text.strip().rstrip("."), | |
"year": entry.find("year").text.strip(), | |
"ee": ee, | |
} | |
return data | |
except: | |
print(f"Cannot parse XML returned from {url}", file=sys.stderr) | |
def get_dblp_data_from_cache(dblp_key): | |
with open(DBLP_CACHE) as f: | |
cache = json.load(f) | |
if dblp_key in cache: | |
data = cache[dblp_key] | |
else: | |
data = get_dblp_data(dblp_key) | |
cache[dblp_key] = data | |
with open(DBLP_CACHE, "w") as f: | |
json.dump(cache, f, ensure_ascii=False, indent=2) | |
return data | |
def extract_paper_data(regex_match): | |
paper = regex_match.groupdict() | |
links = paper.pop("links") | |
paper["links"] = {} | |
for link_match in LINK_REGEX.finditer(links): | |
link_dict = link_match.groupdict() | |
paper["links"][link_dict.pop("kind")] = link_dict["url"] | |
paper["authors"] = paper["authors"].rstrip() | |
if "dblp" in paper["links"]: | |
paper["dblp_key"] = paper["links"]["dblp"][ | |
len("https://dblp.uni-trier.de/rec/") : -len(".html") | |
] | |
else: | |
paper["dblp_key"] = None | |
return paper | |
def fix_paper(paper): | |
dblp_key = paper["dblp_key"] | |
if not dblp_key: | |
print(f"No DBLP identifier for {paper['title']}", file=sys.stderr) | |
return paper | |
dblp_entry = get_dblp_data_from_cache(dblp_key) | |
paper["title"] = dblp_entry["title"] | |
paper["authors"] = dblp_entry["authors"] | |
paper["year"] = dblp_entry["year"] | |
if dblp_entry["ee"] and "doi" in dblp_entry["ee"]: | |
new_links = {"doi": dblp_entry["ee"]} | |
elif "doi" in paper["links"]: | |
new_links = {"doi": paper["links"]["doi"]} | |
else: | |
new_links = {} | |
new_links["dblp"] = f"https://dblp.uni-trier.de/rec/{dblp_key}.html" | |
new_links["bibtex"] = new_links["dblp"] + "?view=bibtex" | |
for tag, url in paper["links"].items(): | |
if tag not in new_links: | |
new_links[tag] = url | |
paper["links"] = new_links | |
return paper | |
def display_paper(paper): | |
lines = [ | |
"* **{title}** ({venue}) ".format(**paper), | |
" by {authors}{space}".format(space=" " if paper["links"] else "", **paper), | |
] | |
for kind, url in paper["links"].items(): | |
lines.append(f" ([{kind}]({url}))") | |
lines.append("") | |
return "\n".join(lines) | |
def fix_effects_bibliography(url): | |
def fix(regex_match): | |
paper = extract_paper_data(regex_match) | |
paper = fix_paper(paper) | |
return display_paper(paper) | |
text = requests.get(url).text | |
print(PAPER_REGEX.sub(fix, text)) | |
fix_effects_bibliography(EFFECTS_BIBLIOGRAPHY_URL) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"journals/corr/abs-1807-05923": { | |
"key": "journals/corr/abs-1807-05923", | |
"mdate": "2018-08-13", | |
"authors": "Andrej Bauer", | |
"title": "What is algebraic about algebraic effects and handlers?", | |
"year": "2018", | |
"ee": "http://arxiv.org/abs/1807.05923" | |
}, | |
"journals/jfp/HillerstromLL24": { | |
"key": "journals/jfp/HillerstromLL24", | |
"mdate": "2024-05-04", | |
"authors": "Daniel Hillerström, Sam Lindley, and John Longley", | |
"title": "Asymptotic speedup via effect handlers", | |
"year": "2024", | |
"ee": "https://doi.org/10.1017/s0956796824000030" | |
}, | |
"journals/pacmpl/TangHLM24": { | |
"key": "journals/pacmpl/TangHLM24", | |
"mdate": "2024-02-10", | |
"authors": "Wenhao Tang, Daniel Hillerström, Sam Lindley, and J. Garrett Morris", | |
"title": "Soundly Handling Linearity", | |
"year": "2024", | |
"ee": "https://doi.org/10.1145/3632896" | |
}, | |
"journals/pacmpl/LagoG24": { | |
"key": "journals/pacmpl/LagoG24", | |
"mdate": "2024-02-05", | |
"authors": "Ugo Dal Lago and Alexis Ghyselen", | |
"title": "On Model-Checking Higher-Order Effectful Programs", | |
"year": "2024", | |
"ee": "https://doi.org/10.1145/3632929" | |
}, | |
"journals/pacmpl/MoyDF24": { | |
"key": "journals/pacmpl/MoyDF24", | |
"mdate": "2024-02-10", | |
"authors": "Cameron Moy, Christos Dimoulas, and Matthias Felleisen", | |
"title": "Effectful Software Contracts", | |
"year": "2024", | |
"ee": "https://doi.org/10.1145/3632930" | |
}, | |
"journals/pacmpl/MullerSSOB23": { | |
"key": "journals/pacmpl/MullerSSOB23", | |
"mdate": "2023-12-10", | |
"authors": "Marius Müller, Philipp Schuster, Jonathan Lindegaard Starup, Klaus Ostermann, and Jonathan Immanuel Brachthäuser", | |
"title": "From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers", | |
"year": "2023", | |
"ee": "https://doi.org/10.1145/3622831" | |
}, | |
"journals/pacmpl/PhippsCostinRGLHSPL23": { | |
"key": "journals/pacmpl/PhippsCostinRGLHSPL23", | |
"mdate": "2023-12-10", | |
"authors": "Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, and Sam Lindley", | |
"title": "Continuing WebAssembly with Effect Handlers", | |
"year": "2023", | |
"ee": "https://doi.org/10.1145/3622814" | |
}, | |
"journals/pacmpl/SieczkowskiPB23": { | |
"key": "journals/pacmpl/SieczkowskiPB23", | |
"mdate": "2023-12-31", | |
"authors": "Filip Sieczkowski, Mateusz Pyzik, and Dariusz Biernacki", | |
"title": "A General Fine-Grained Reduction Theory for Effect Handlers", | |
"year": "2023", | |
"ee": "https://doi.org/10.1145/3607848" | |
}, | |
"journals/pacmpl/LutzeMSB23": { | |
"key": "journals/pacmpl/LutzeMSB23", | |
"mdate": "2023-12-17", | |
"authors": "Matthew Lutze, Magnus Madsen, Philipp Schuster, and Jonathan Immanuel Brachthäuser", | |
"title": "With or Without You: Programming with Effect Exclusion", | |
"year": "2023", | |
"ee": "https://doi.org/10.1145/3607846" | |
}, | |
"journals/pacmpl/PoulsenR23": { | |
"key": "journals/pacmpl/PoulsenR23", | |
"mdate": "2023-02-10", | |
"authors": "Casper Bach Poulsen and Cas van der Rest", | |
"title": "Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects", | |
"year": "2023", | |
"ee": "https://doi.org/10.1145/3571255" | |
}, | |
"journals/pacmpl/NguyenPWW22": { | |
"key": "journals/pacmpl/NguyenPWW22", | |
"mdate": "2023-08-28", | |
"authors": "Minh Nguyen, Roly Perera, Meng Wang, and Nicolas Wu", | |
"title": "Modular probabilistic models via algebraic effects", | |
"year": "2022", | |
"ee": "https://doi.org/10.1145/3547635" | |
}, | |
"journals/pacmpl/XieCIL22": { | |
"key": "journals/pacmpl/XieCIL22", | |
"mdate": "2022-12-05", | |
"authors": "Ningning Xie, Youyou Cong, Kazuki Ikemori, and Daan Leijen", | |
"title": "First-class names for effect handlers", | |
"year": "2022", | |
"ee": "https://doi.org/10.1145/3563289" | |
}, | |
"journals/pacmpl/GhicaLBP22": { | |
"key": "journals/pacmpl/GhicaLBP22", | |
"mdate": "2023-01-05", | |
"authors": "Dan R. Ghica, Sam Lindley, Marcos Maroñas Bravo, and Maciej Piróg", | |
"title": "High-level effect handlers in C++", | |
"year": "2022", | |
"ee": "https://doi.org/10.1145/3563445" | |
}, | |
"journals/jolli/GroveB23": { | |
"key": "journals/jolli/GroveB23", | |
"mdate": "2023-05-13", | |
"authors": "Julian Grove and Jean-Philippe Bernardy", | |
"title": "Algebraic Effects for Extensible Dynamic Semantics", | |
"year": "2023", | |
"ee": "https://doi.org/10.1007/s10849-022-09378-7" | |
}, | |
"journals/pacmpl/BrachthauserSLB22": { | |
"key": "journals/pacmpl/BrachthauserSLB22", | |
"mdate": "2023-01-10", | |
"authors": "Jonathan Immanuel Brachthäuser, Philipp Schuster, Edward Lee, and Aleksander Boruch-Gruszecki", | |
"title": "Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back", | |
"year": "2022", | |
"ee": "https://doi.org/10.1145/3527320" | |
}, | |
"journals/pacmpl/KarachaliasKPS21": { | |
"key": "journals/pacmpl/KarachaliasKPS21", | |
"mdate": "2022-01-08", | |
"authors": "Georgios Karachalias, Filip Koprivec, Matija Pretnar, and Tom Schrijvers", | |
"title": "Efficient compilation of algebraic effect handlers", | |
"year": "2021", | |
"ee": "https://doi.org/10.1145/3485479" | |
}, | |
"journals/pacmpl/ZyuzinN21": { | |
"key": "journals/pacmpl/ZyuzinN21", | |
"mdate": "2022-01-08", | |
"authors": "Nikita Zyuzin and Aleksandar Nanevski", | |
"title": "Contextual modal types for algebraic effects and handlers", | |
"year": "2021", | |
"ee": "https://doi.org/10.1145/3473580" | |
}, | |
"journals/pacmpl/YangW21": { | |
"key": "journals/pacmpl/YangW21", | |
"mdate": "2022-01-08", | |
"authors": "Zhixuan Yang and Nicolas Wu", | |
"title": "Reasoning about effect interaction by fusion", | |
"year": "2021", | |
"ee": "https://doi.org/10.1145/3473578" | |
}, | |
"journals/pacmpl/XieL21": { | |
"key": "journals/pacmpl/XieL21", | |
"mdate": "2021-08-30", | |
"authors": "Ningning Xie and Daan Leijen", | |
"title": "Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C", | |
"year": "2021", | |
"ee": "https://doi.org/10.1145/3473576" | |
}, | |
"journals/toplas/Gordon21": { | |
"key": "journals/toplas/Gordon21", | |
"mdate": "2022-01-03", | |
"authors": "Colin S. Gordon", | |
"title": "Polymorphic Iterable Sequential Effect Systems", | |
"year": "2021", | |
"ee": "https://doi.org/10.1145/3450272" | |
}, | |
"journals/corr/abs-2101-08095": { | |
"key": "journals/corr/abs-2101-08095", | |
"mdate": "2021-01-23", | |
"authors": "Jesse Sigal", | |
"title": "Automatic Differentiation via Effects and Handlers: An Implementation in Frank", | |
"year": "2021", | |
"ee": "https://arxiv.org/abs/2101.08095" | |
}, | |
"journals/pacmpl/VilhenaP21": { | |
"key": "journals/pacmpl/VilhenaP21", | |
"mdate": "2021-02-17", | |
"authors": "Paulo Emílio de Vilhena and François Pottier", | |
"title": "A separation logic for effect handlers", | |
"year": "2021", | |
"ee": "https://doi.org/10.1145/3434314" | |
}, | |
"journals/pacmpl/AhmanP21": { | |
"key": "journals/pacmpl/AhmanP21", | |
"mdate": "2022-01-08", | |
"authors": "Danel Ahman and Matija Pretnar", | |
"title": "Asynchronous effects", | |
"year": "2021", | |
"ee": "https://doi.org/10.1145/3434305" | |
}, | |
"journals/fac/LetanRCH21": { | |
"key": "journals/fac/LetanRCH21", | |
"mdate": "2022-10-02", | |
"authors": "Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, and Guillaume Hiet", | |
"title": "Modular verification of programs with effects and effects handlers", | |
"year": "2021", | |
"ee": "https://doi.org/10.1007/s00165-020-00523-2" | |
}, | |
"journals/jfp/KiselyovMS21": { | |
"key": "journals/jfp/KiselyovMS21", | |
"mdate": "2021-02-11", | |
"authors": "Oleg Kiselyov, Shin-Cheng Mu, and Amr Sabry", | |
"title": "Not by equations alone: Reasoning with extensible effects", | |
"year": "2021", | |
"ee": "https://doi.org/10.1017/S0956796820000271" | |
}, | |
"journals/pacmpl/WeiBTR20": { | |
"key": "journals/pacmpl/WeiBTR20", | |
"mdate": "2023-12-17", | |
"authors": "Guannan Wei, Oliver Bracevac, Shangyin Tan, and Tiark Rompf", | |
"title": "Compiling symbolic execution with staging and algebraic effects", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3428232" | |
}, | |
"journals/pacmpl/ZhangSM20": { | |
"key": "journals/pacmpl/ZhangSM20", | |
"mdate": "2023-12-11", | |
"authors": "Yizhou Zhang, Guido Salvaneschi, and Andrew C. Myers", | |
"title": "Handling bidirectional control flow", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3428207" | |
}, | |
"journals/pacmpl/BrachthauserSO20": { | |
"key": "journals/pacmpl/BrachthauserSO20", | |
"mdate": "2024-05-07", | |
"authors": "Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann", | |
"title": "Effects as capabilities: effect handlers and lightweight effect polymorphism", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3428194" | |
}, | |
"journals/jfp/PietersRS20": { | |
"key": "journals/jfp/PietersRS20", | |
"mdate": "2023-03-21", | |
"authors": "Ruben P. Pieters, Exequiel Rivas, and Tom Schrijvers", | |
"title": "Generalized monoidal effects and handlers", | |
"year": "2020", | |
"ee": "https://doi.org/10.1017/S0956796820000106" | |
}, | |
"journals/pacmpl/SekiyamaTI20": { | |
"key": "journals/pacmpl/SekiyamaTI20", | |
"mdate": "2022-01-08", | |
"authors": "Taro Sekiyama, Takeshi Tsukada, and Atsushi Igarashi", | |
"title": "Signature restriction for polymorphic algebraic effects", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3408999" | |
}, | |
"journals/pacmpl/HillerstromLL20": { | |
"key": "journals/pacmpl/HillerstromLL20", | |
"mdate": "2023-09-30", | |
"authors": "Daniel Hillerström, Sam Lindley, and John Longley", | |
"title": "Effects for efficiency: asymptotic speedup with first-class control", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3408982" | |
}, | |
"journals/pacmpl/XieBHSL20": { | |
"key": "journals/pacmpl/XieBHSL20", | |
"mdate": "2022-01-08", | |
"authors": "Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, and Daan Leijen", | |
"title": "Effect handlers, evidently", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3408981" | |
}, | |
"journals/pacmpl/SchusterBO20": { | |
"key": "journals/pacmpl/SchusterBO20", | |
"mdate": "2022-01-08", | |
"authors": "Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann", | |
"title": "Compiling effect handlers in capability-passing style", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3408975" | |
}, | |
"journals/jfp/BrachthauserSO20": { | |
"key": "journals/jfp/BrachthauserSO20", | |
"mdate": "2020-06-16", | |
"authors": "Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann", | |
"title": "Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala", | |
"year": "2020", | |
"ee": "https://doi.org/10.1017/S0956796820000027" | |
}, | |
"journals/jfp/ConventLMM20": { | |
"key": "journals/jfp/ConventLMM20", | |
"mdate": "2023-09-30", | |
"authors": "Lukas Convent, Sam Lindley, Conor McBride, and Craig McLaughlin", | |
"title": "Doo bee doo bee doo", | |
"year": "2020", | |
"ee": "https://doi.org/10.1017/S0956796820000039" | |
}, | |
"journals/jfp/HillerstromLA20": { | |
"key": "journals/jfp/HillerstromLA20", | |
"mdate": "2023-09-30", | |
"authors": "Daniel Hillerström, Sam Lindley, and Robert Atkey", | |
"title": "Effect handlers via generalised continuations", | |
"year": "2020", | |
"ee": "https://doi.org/10.1017/S0956796820000040" | |
}, | |
"journals/pacmpl/XiaZHHMPZ20": { | |
"key": "journals/pacmpl/XiaZHHMPZ20", | |
"mdate": "2023-11-12", | |
"authors": "Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, and Steve Zdancewic", | |
"title": "Interaction trees: representing recursive and impure programs in Coq", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3371119" | |
}, | |
"journals/pacmpl/BiernackiPPS20": { | |
"key": "journals/pacmpl/BiernackiPPS20", | |
"mdate": "2021-10-14", | |
"authors": "Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski", | |
"title": "Binders by day, labels by night: effect instances via lexically scoped handlers", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3371116" | |
}, | |
"journals/jfp/LuksicP20": { | |
"key": "journals/jfp/LuksicP20", | |
"mdate": "2022-04-09", | |
"authors": "Ziga Luksic and Matija Pretnar", | |
"title": "Local algebraic effect theories", | |
"year": "2020", | |
"ee": "https://doi.org/10.1017/S0956796819000212" | |
}, | |
"journals/jfp/KarachaliasPSVS20": { | |
"key": "journals/jfp/KarachaliasPSVS20", | |
"mdate": "2020-07-15", | |
"authors": "Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, and Tom Schrijvers", | |
"title": "Explicit effect subtyping", | |
"year": "2020", | |
"ee": "https://doi.org/10.1017/S0956796820000131" | |
}, | |
"journals/pacmpl/PedrotT20": { | |
"key": "journals/pacmpl/PedrotT20", | |
"mdate": "2022-10-02", | |
"authors": "Pierre-Marie Pédrot and Nicolas Tabareau", | |
"title": "The fire triangle: how to mix substitution, dependent elimination, and effects", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3371126" | |
}, | |
"journals/jfp/0002KLP19": { | |
"key": "journals/jfp/0002KLP19", | |
"mdate": "2023-09-30", | |
"authors": "Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar", | |
"title": "On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control", | |
"year": "2019", | |
"ee": "https://doi.org/10.1017/S0956796819000121" | |
}, | |
"journals/pacmpl/MaillardAAMHRT19": { | |
"key": "journals/pacmpl/MaillardAAMHRT19", | |
"mdate": "2023-03-21", | |
"authors": "Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, and Éric Tanter", | |
"title": "Dijkstra monads for all", | |
"year": "2019", | |
"ee": "https://doi.org/10.1145/3341708" | |
}, | |
"journals/pacmpl/SwierstraB19": { | |
"key": "journals/pacmpl/SwierstraB19", | |
"mdate": "2021-02-17", | |
"authors": "Wouter Swierstra and Tim Baanen", | |
"title": "A predicate transformer semantics for effects (functional pearl)", | |
"year": "2019", | |
"ee": "https://doi.org/10.1145/3341707" | |
}, | |
"journals/lmcs/BiernackiLP19a": { | |
"key": "journals/lmcs/BiernackiLP19a", | |
"mdate": "2021-10-14", | |
"authors": "Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk", | |
"title": "Bisimulations for Delimited-Control Operators", | |
"year": "2019", | |
"ee": "https://doi.org/10.23638/LMCS-15(2:18)2019" | |
}, | |
"journals/pacmpl/BiernackiPPS19": { | |
"key": "journals/pacmpl/BiernackiPPS19", | |
"mdate": "2021-10-14", | |
"authors": "Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski", | |
"title": "Abstracting algebraic effects", | |
"year": "2019", | |
"ee": "https://doi.org/10.1145/3290319" | |
}, | |
"journals/pacmpl/ZhangM19": { | |
"key": "journals/pacmpl/ZhangM19", | |
"mdate": "2023-12-11", | |
"authors": "Yizhou Zhang and Andrew C. Myers", | |
"title": "Abstraction-safe effect handlers via tunneling", | |
"year": "2019", | |
"ee": "https://doi.org/10.1145/3290318" | |
}, | |
"journals/toplas/SimpsonV20": { | |
"key": "journals/toplas/SimpsonV20", | |
"mdate": "2020-10-26", | |
"authors": "Alex Simpson and Niels F. W. Voorneveld", | |
"title": "Behavioural Equivalence via Modalities for Algebraic Effects", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3363518" | |
}, | |
"journals/cejcs/McDermottM18": { | |
"key": "journals/cejcs/McDermottM18", | |
"mdate": "2020-10-26", | |
"authors": "Dylan McDermott and Alan Mycroft", | |
"title": "Call-by-need effects via coeffects", | |
"year": "2018", | |
"ee": "https://doi.org/10.1515/comp-2018-0009" | |
}, | |
"journals/corr/abs-1810-09538": { | |
"key": "journals/corr/abs-1810-09538", | |
"mdate": "2018-10-31", | |
"authors": "Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul A. Szerlip, Paul Horsfall, and Noah D. Goodman", | |
"title": "Pyro: Deep Universal Probabilistic Programming", | |
"year": "2018", | |
"ee": "http://arxiv.org/abs/1810.09538" | |
}, | |
"journals/corr/abs-1811-06150": { | |
"key": "journals/corr/abs-1811-06150", | |
"mdate": "2022-02-14", | |
"authors": "Dave Moore and Maria I. Gorinova", | |
"title": "Effect Handling for Composable Program Transformations in Edward2", | |
"year": "2018", | |
"ee": "http://arxiv.org/abs/1811.06150" | |
}, | |
"journals/pacmpl/ScibiorKG18": { | |
"key": "journals/pacmpl/ScibiorKG18", | |
"mdate": "2021-02-17", | |
"authors": "Adam Scibior, Ohad Kammar, and Zoubin Ghahramani", | |
"title": "Functional programming for modular Bayesian inference", | |
"year": "2018", | |
"ee": "https://doi.org/10.1145/3236778" | |
}, | |
"journals/pacmpl/BrachthauserSO18": { | |
"key": "journals/pacmpl/BrachthauserSO18", | |
"mdate": "2024-05-07", | |
"authors": "Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann", | |
"title": "Effect handlers for the masses", | |
"year": "2018", | |
"ee": "https://doi.org/10.1145/3276481" | |
}, | |
"journals/pacmpl/BracevacASEEM18": { | |
"key": "journals/pacmpl/BracevacASEEM18", | |
"mdate": "2023-06-26", | |
"authors": "Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, and Mira Mezini", | |
"title": "Versatile event correlation with algebraic effects", | |
"year": "2018", | |
"ee": "https://doi.org/10.1145/3236762" | |
}, | |
"journals/pacmpl/BiernackiPPS18": { | |
"key": "journals/pacmpl/BiernackiPPS18", | |
"mdate": "2021-10-14", | |
"authors": "Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski", | |
"title": "Handle with care: relational interpretation of algebraic effects and handlers", | |
"year": "2018", | |
"ee": "https://doi.org/10.1145/3158096" | |
}, | |
"journals/pacmpl/Ahman18": { | |
"key": "journals/pacmpl/Ahman18", | |
"mdate": "2021-02-17", | |
"authors": "Danel Ahman", | |
"title": "Handling fibred algebraic effects", | |
"year": "2018", | |
"ee": "https://doi.org/10.1145/3158095" | |
}, | |
"journals/pacmpl/Yallop17": { | |
"key": "journals/pacmpl/Yallop17", | |
"mdate": "2021-02-17", | |
"authors": "Jeremy Yallop", | |
"title": "Staged generic programming", | |
"year": "2017", | |
"ee": "https://doi.org/10.1145/3110273" | |
}, | |
"journals/pacmpl/0002KLP17": { | |
"key": "journals/pacmpl/0002KLP17", | |
"mdate": "2023-09-30", | |
"authors": "Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar", | |
"title": "On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control", | |
"year": "2017", | |
"ee": "https://doi.org/10.1145/3110257" | |
}, | |
"journals/jfp/KammarP17": { | |
"key": "journals/jfp/KammarP17", | |
"mdate": "2022-04-09", | |
"authors": "Ohad Kammar and Matija Pretnar", | |
"title": "No value restriction is needed for algebraic effects and handlers", | |
"year": "2017", | |
"ee": "https://doi.org/10.1017/S0956796816000320" | |
}, | |
"journals/tplp/SalehS16": { | |
"key": "journals/tplp/SalehS16", | |
"mdate": "2020-02-13", | |
"authors": "Amr Hany Saleh and Tom Schrijvers", | |
"title": "Efficient algebraic effect handlers for Prolog", | |
"year": "2016", | |
"ee": "https://doi.org/10.1017/S147106841600034X" | |
}, | |
"journals/jlp/BauerP15": { | |
"key": "journals/jlp/BauerP15", | |
"mdate": "2023-08-28", | |
"authors": "Andrej Bauer and Matija Pretnar", | |
"title": "Programming with algebraic effects and handlers", | |
"year": "2015", | |
"ee": "https://doi.org/10.1016/j.jlamp.2014.02.001" | |
}, | |
"journals/jfp/AtkeyJ15": { | |
"key": "journals/jfp/AtkeyJ15", | |
"mdate": "2017-06-06", | |
"authors": "Robert Atkey and Patricia Johann", | |
"title": "Interleaving data and effects", | |
"year": "2015", | |
"ee": "https://doi.org/10.1017/S0956796815000209" | |
}, | |
"journals/corr/OrchardPM14": { | |
"key": "journals/corr/OrchardPM14", | |
"mdate": "2018-08-13", | |
"authors": "Dominic A. Orchard, Tomas Petricek, and Alan Mycroft", | |
"title": "The semantic marriage of monads and effects", | |
"year": "2014", | |
"ee": "http://arxiv.org/abs/1401.5391" | |
}, | |
"journals/corr/Pretnar13": { | |
"key": "journals/corr/Pretnar13", | |
"mdate": "2022-04-09", | |
"authors": "Matija Pretnar", | |
"title": "Inferring Algebraic Effects", | |
"year": "2014", | |
"ee": "https://doi.org/10.2168/LMCS-10(3:21)2014" | |
}, | |
"journals/corr/BauerP13": { | |
"key": "journals/corr/BauerP13", | |
"mdate": "2022-04-09", | |
"authors": "Andrej Bauer and Matija Pretnar", | |
"title": "An Effect System for Algebraic Effects and Handlers", | |
"year": "2014", | |
"ee": "https://doi.org/10.2168/LMCS-10(4:9)2014" | |
}, | |
"journals/corr/PlotkinP13": { | |
"key": "journals/corr/PlotkinP13", | |
"mdate": "2022-04-09", | |
"authors": "Gordon D. Plotkin and Matija Pretnar", | |
"title": "Handling Algebraic Effects", | |
"year": "2013", | |
"ee": "https://doi.org/10.2168/LMCS-9(4:23)2013" | |
}, | |
"journals/tcs/JaskelioffM10": { | |
"key": "journals/tcs/JaskelioffM10", | |
"mdate": "2021-02-17", | |
"authors": "Mauro Jaskelioff and Eugenio Moggi", | |
"title": "Monad transformers as monoid transformers", | |
"year": "2010", | |
"ee": "https://doi.org/10.1016/j.tcs.2010.09.011" | |
}, | |
"journals/jfp/Atkey09": { | |
"key": "journals/jfp/Atkey09", | |
"mdate": "2017-06-06", | |
"authors": "Robert Atkey", | |
"title": "Parameterised notions of computation", | |
"year": "2009", | |
"ee": "https://doi.org/10.1017/S095679680900728X" | |
}, | |
"journals/jfp/Swierstra08": { | |
"key": "journals/jfp/Swierstra08", | |
"mdate": "2017-05-27", | |
"authors": "Wouter Swierstra", | |
"title": "Data types à la carte", | |
"year": "2008", | |
"ee": "https://doi.org/10.1017/S0956796808006758" | |
}, | |
"journals/jfp/SkalkaSH08": { | |
"key": "journals/jfp/SkalkaSH08", | |
"mdate": "2023-03-21", | |
"authors": "Christian Skalka, Scott F. Smith, and David Van Horn", | |
"title": "Types and trace effects of higher order programs", | |
"year": "2008", | |
"ee": "https://doi.org/10.1017/S0956796807006466" | |
}, | |
"journals/tcs/HylandLPP07": { | |
"key": "journals/tcs/HylandLPP07", | |
"mdate": "2021-02-17", | |
"authors": "Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, and John Power", | |
"title": "Combining algebraic effects with continuations", | |
"year": "2007", | |
"ee": "https://doi.org/10.1016/j.tcs.2006.12.026" | |
}, | |
"journals/jfp/FluetM06": { | |
"key": "journals/jfp/FluetM06", | |
"mdate": "2017-05-27", | |
"authors": "Matthew Fluet and Greg Morrisett", | |
"title": "Monadic regions", | |
"year": "2006", | |
"ee": "https://doi.org/10.1017/S095679680600596X" | |
}, | |
"journals/acs/PlotkinP03": { | |
"key": "journals/acs/PlotkinP03", | |
"mdate": "2020-09-29", | |
"authors": "Gordon D. Plotkin and John Power", | |
"title": "Algebraic Operations and Generic Effects", | |
"year": "2003", | |
"ee": "https://doi.org/10.1023/A:1023064908962" | |
}, | |
"journals/tocl/WadlerT03": { | |
"key": "journals/tocl/WadlerT03", | |
"mdate": "2020-03-23", | |
"authors": "Philip Wadler and Peter Thiemann", | |
"title": "The marriage of effects and monads", | |
"year": "2003", | |
"ee": "https://doi.org/10.1145/601775.601776" | |
}, | |
"journals/jfp/MoggiS01": { | |
"key": "journals/jfp/MoggiS01", | |
"mdate": "2020-09-05", | |
"authors": "Eugenio Moggi and Amr Sabry", | |
"title": "Monadic encapsulation of effects: a revised approach (extended version)", | |
"year": "2001", | |
"ee": "https://doi.org/10.1017/S0956796801004154" | |
}, | |
"journals/iandc/Moggi91": { | |
"key": "journals/iandc/Moggi91", | |
"mdate": "2021-02-12", | |
"authors": "Eugenio Moggi", | |
"title": "Notions of Computation and Monads", | |
"year": "1991", | |
"ee": "https://doi.org/10.1016/0890-5401(91)90052-4" | |
}, | |
"journals/entcs/Pretnar15": { | |
"key": "journals/entcs/Pretnar15", | |
"mdate": "2022-08-16", | |
"authors": "Matija Pretnar", | |
"title": "An Introduction to Algebraic Effects and Handlers. Invited tutorial paper", | |
"year": "2015", | |
"ee": "https://doi.org/10.1016/j.entcs.2015.12.003" | |
}, | |
"books/sp/24/AndrieuxHR24": { | |
"key": "books/sp/24/AndrieuxHR24", | |
"mdate": "2024-03-16", | |
"authors": "Martin Andrieux, Ludovic Henrio, and Gabriel Radanne", | |
"title": "Active Objects Based on Algebraic Effects", | |
"year": "2024", | |
"ee": "https://doi.org/10.1007/978-3-031-51060-1_1" | |
}, | |
"conf/pepm/TsuyamaCM24": { | |
"key": "conf/pepm/TsuyamaCM24", | |
"mdate": "2024-01-12", | |
"authors": "Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara", | |
"title": "An Intrinsically Typed Compiler for Algebraic Effect Handlers", | |
"year": "2024", | |
"ee": "https://doi.org/10.1145/3635800.3636968" | |
}, | |
"conf/ppdp/IkemoriCM23": { | |
"key": "conf/ppdp/IkemoriCM23", | |
"mdate": "2023-10-27", | |
"authors": "Kazuki Ikemori, Youyou Cong, and Hidehiko Masuhara", | |
"title": "Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators", | |
"year": "2023", | |
"ee": "https://doi.org/10.1145/3610612.3610616" | |
}, | |
"conf/sas/GordonY23": { | |
"key": "conf/sas/GordonY23", | |
"mdate": "2023-11-09", | |
"authors": "Colin S. Gordon and Chaewon Yun", | |
"title": "Error Localization for Sequential Effect Systems", | |
"year": "2023", | |
"ee": "https://doi.org/10.1007/978-3-031-44245-2_16" | |
}, | |
"conf/pepm/CongA23": { | |
"key": "conf/pepm/CongA23", | |
"mdate": "2023-01-13", | |
"authors": "Youyou Cong and Kenichi Asai", | |
"title": "Towards a Reflection for Effect Handlers", | |
"year": "2023", | |
"ee": "https://doi.org/10.1145/3571786.3573015" | |
}, | |
"journals/corr/abs-2212-07015": { | |
"key": "journals/corr/abs-2212-07015", | |
"mdate": "2024-01-03", | |
"authors": "Takahiro Sanada", | |
"title": "Category-Graded Algebraic Theories and Effect Handlers", | |
"year": "2022", | |
"ee": "https://doi.org/10.46298/entics.10491" | |
}, | |
"conf/aplas/SongFC22": { | |
"key": "conf/aplas/SongFC22", | |
"mdate": "2022-12-01", | |
"authors": "Yahui Song, Darius Foo, and Wei-Ngan Chin", | |
"title": "Automated Temporal Verification for Algebraic Effects", | |
"year": "2022", | |
"ee": "https://doi.org/10.1007/978-3-031-21037-2_5" | |
}, | |
"conf/aplas/DvirKL22": { | |
"key": "conf/aplas/DvirKL22", | |
"mdate": "2023-09-22", | |
"authors": "Yotam Dvir, Ohad Kammar, and Ori Lahav", | |
"title": "An Algebraic Theory for Shared-State Concurrency", | |
"year": "2022", | |
"ee": "https://doi.org/10.1007/978-3-031-21037-2_1" | |
}, | |
"conf/pldi/SchusterB0O22": { | |
"key": "conf/pldi/SchusterB0O22", | |
"mdate": "2024-05-07", | |
"authors": "Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, and Klaus Ostermann", | |
"title": "A typed continuation-passing translation for lexical effect handlers", | |
"year": "2022", | |
"ee": "https://doi.org/10.1145/3519939.3523710" | |
}, | |
"conf/esop/YangPWBS22": { | |
"key": "conf/esop/YangPWBS22", | |
"mdate": "2022-04-29", | |
"authors": "Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, and Tom Schrijvers", | |
"title": "Structured Handling of Scoped Effects", | |
"year": "2022", | |
"ee": "https://doi.org/10.1007/978-3-030-99336-8_17" | |
}, | |
"conf/aplas/BergSPW21": { | |
"key": "conf/aplas/BergSPW21", | |
"mdate": "2021-12-25", | |
"authors": "Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, and Nicolas Wu", | |
"title": "Latent Effects for Reusable Language Components", | |
"year": "2021", | |
"ee": "https://doi.org/10.1007/978-3-030-89051-3_11" | |
}, | |
"conf/haskell/PunchihewaW21": { | |
"key": "conf/haskell/PunchihewaW21", | |
"mdate": "2021-10-14", | |
"authors": "Hashan Punchihewa and Nicolas Wu", | |
"title": "Safe mutation with algebraic effects", | |
"year": "2021", | |
"ee": "https://doi.org/10.1145/3471874.3472988" | |
}, | |
"conf/fscd/CongIHA21": { | |
"key": "conf/fscd/CongIHA21", | |
"mdate": "2021-07-06", | |
"authors": "Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai", | |
"title": "A Functional Abstraction of Typed Invocation Contexts", | |
"year": "2021", | |
"ee": "https://doi.org/10.4230/LIPIcs.FSCD.2021.12" | |
}, | |
"conf/fscd/FujiiA21": { | |
"key": "conf/fscd/FujiiA21", | |
"mdate": "2021-07-06", | |
"authors": "Maika Fujii and Kenichi Asai", | |
"title": "Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators", | |
"year": "2021", | |
"ee": "https://doi.org/10.4230/LIPIcs.FSCD.2021.16" | |
}, | |
"conf/pldi/Sivaramakrishnan21": { | |
"key": "conf/pldi/Sivaramakrishnan21", | |
"mdate": "2023-09-30", | |
"authors": "K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, and Anil Madhavapeddy", | |
"title": "Retrofitting effect handlers onto OCaml", | |
"year": "2021", | |
"ee": "https://doi.org/10.1145/3453483.3454039" | |
}, | |
"conf/fossacs/Kura20": { | |
"key": "conf/fossacs/Kura20", | |
"mdate": "2023-05-22", | |
"authors": "Satoshi Kura", | |
"title": "Graded Algebraic Theories", | |
"year": "2020", | |
"ee": "https://doi.org/10.1007/978-3-030-45231-5_21" | |
}, | |
"conf/icml/GorinovaMH20": { | |
"key": "conf/icml/GorinovaMH20", | |
"mdate": "2022-02-14", | |
"authors": "Maria I. Gorinova, Dave Moore, and Matthew D. Hoffman", | |
"title": "Automatic Reparameterisation of Probabilistic Programs", | |
"year": "2020", | |
"ee": "http://proceedings.mlr.press/v119/gorinova20a.html" | |
}, | |
"conf/haskell/ParesBE20": { | |
"key": "conf/haskell/ParesBE20", | |
"mdate": "2021-10-14", | |
"authors": "Yves Parès, Jean-Philippe Bernardy, and Richard A. Eisenberg", | |
"title": "Composing effects into tasks and workflows", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3406088.3409023" | |
}, | |
"conf/ecoop/Gordon19": { | |
"key": "conf/ecoop/Gordon19", | |
"mdate": "2020-11-16", | |
"authors": "Colin S. Gordon", | |
"title": "Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl)", | |
"year": "2020", | |
"ee": "https://doi.org/10.4230/LIPIcs.ECOOP.2020.10" | |
}, | |
"conf/ecoop/Gordon19a": { | |
"key": "conf/ecoop/Gordon19a", | |
"mdate": "2020-11-16", | |
"authors": "Colin S. Gordon", | |
"title": "Lifting Sequential Effects to Control Operators", | |
"year": "2020", | |
"ee": "https://doi.org/10.4230/LIPIcs.ECOOP.2020.23" | |
}, | |
"conf/ppdp/McDermottPU20": { | |
"key": "conf/ppdp/McDermottPU20", | |
"mdate": "2022-01-03", | |
"authors": "Dylan McDermott, Maciej Piróg, and Tarmo Uustalu", | |
"title": "Degrading Lists", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3414080.3414084" | |
}, | |
"conf/dls/PinckneyGB20": { | |
"key": "conf/dls/PinckneyGB20", | |
"mdate": "2022-01-08", | |
"authors": "Donald Pinckney, Arjun Guha, and Yuriy Brun", | |
"title": "Wasm/k: delimited continuations for WebAssembly", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3426422.3426978" | |
}, | |
"conf/fscd/BiernackiLP20": { | |
"key": "conf/fscd/BiernackiLP20", | |
"mdate": "2020-06-30", | |
"authors": "Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk", | |
"title": "A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers", | |
"year": "2020", | |
"ee": "https://doi.org/10.4230/LIPIcs.FSCD.2020.7" | |
}, | |
"conf/fscd/BiernackiPS20": { | |
"key": "conf/fscd/BiernackiPS20", | |
"mdate": "2020-06-30", | |
"authors": "Dariusz Biernacki, Mateusz Pyzik, and Filip Sieczkowski", | |
"title": "A Reflection on Continuation-Composing Style", | |
"year": "2020", | |
"ee": "https://doi.org/10.4230/LIPIcs.FSCD.2020.18" | |
}, | |
"conf/haskell/XieL20": { | |
"key": "conf/haskell/XieL20", | |
"mdate": "2020-08-03", | |
"authors": "Ningning Xie and Daan Leijen", | |
"title": "Effect handlers in Haskell, evidently", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3406088.3409022" | |
}, | |
"conf/sfp/KawaharaK20": { | |
"key": "conf/sfp/KawaharaK20", | |
"mdate": "2020-08-20", | |
"authors": "Satoru Kawahara and Yukiyoshi Kameyama", | |
"title": "One-Shot Algebraic Effects as Coroutines", | |
"year": "2020", | |
"ee": "https://doi.org/10.1007/978-3-030-57761-2_8" | |
}, | |
"conf/esop/AhmanB20": { | |
"key": "conf/esop/AhmanB20", | |
"mdate": "2021-05-14", | |
"authors": "Danel Ahman and Andrej Bauer", | |
"title": "Runners in Action", | |
"year": "2020", | |
"ee": "https://doi.org/10.1007/978-3-030-44914-8_2" | |
}, | |
"journals/corr/abs-2005-00197": { | |
"key": "journals/corr/abs-2005-00197", | |
"mdate": "2020-09-05", | |
"authors": "Anne Baanen and Wouter Swierstra", | |
"title": "Combining predicate transformer semantics for effects: a case study in parsing regular languages", | |
"year": "2020", | |
"ee": "https://doi.org/10.4204/EPTCS.317.3" | |
}, | |
"journals/corr/abs-2005-00196": { | |
"key": "journals/corr/abs-2005-00196", | |
"mdate": "2020-10-26", | |
"authors": "Niels F. W. Voorneveld", | |
"title": "From Equations to Distinctions: Two Interpretations of Effectful Computations", | |
"year": "2020", | |
"ee": "https://doi.org/10.4204/EPTCS.317.1" | |
}, | |
"journals/corr/abs-2001-10274": { | |
"key": "journals/corr/abs-2001-10274", | |
"mdate": "2021-04-09", | |
"authors": "Dominic Orchard, Philip Wadler, and Harley Eades III", | |
"title": "Unifying graded and parameterised monads", | |
"year": "2020", | |
"ee": "https://doi.org/10.4204/EPTCS.317.2" | |
}, | |
"conf/fossacs/MatacheS19": { | |
"key": "conf/fossacs/MatacheS19", | |
"mdate": "2019-08-20", | |
"authors": "Cristina Matache and Sam Staton", | |
"title": "A Sound and Complete Logic for Algebraic Effects", | |
"year": "2019", | |
"ee": "https://doi.org/10.1007/978-3-030-17127-8_22" | |
}, | |
"conf/haskell/SchrijversPWJ19": { | |
"key": "conf/haskell/SchrijversPWJ19", | |
"mdate": "2021-10-14", | |
"authors": "Tom Schrijvers, Maciej Piróg, Nicolas Wu, and Mauro Jaskelioff", | |
"title": "Monad transformers and modular algebraic effects: what binds them together", | |
"year": "2019", | |
"ee": "https://doi.org/10.1145/3331545.3342595" | |
}, | |
"conf/mpc/AffeldtNS19": { | |
"key": "conf/mpc/AffeldtNS19", | |
"mdate": "2019-11-07", | |
"authors": "Reynald Affeldt, David Nowak, and Takafumi Saikawa", | |
"title": "A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning", | |
"year": "2019", | |
"ee": "https://doi.org/10.1007/978-3-030-33636-3_9" | |
}, | |
"conf/mpc/PauwelsSM19": { | |
"key": "conf/mpc/PauwelsSM19", | |
"mdate": "2020-03-27", | |
"authors": "Koen Pauwels, Tom Schrijvers, and Shin-Cheng Mu", | |
"title": "Handling Local State with Global State", | |
"year": "2019", | |
"ee": "https://doi.org/10.1007/978-3-030-33636-3_2" | |
}, | |
"conf/rta/PirogPS19": { | |
"key": "conf/rta/PirogPS19", | |
"mdate": "2021-10-14", | |
"authors": "Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski", | |
"title": "Typed Equivalence of Effect Handlers and Delimited Control", | |
"year": "2019", | |
"ee": "https://doi.org/10.4230/LIPIcs.FSCD.2019.30" | |
}, | |
"conf/esop/SekiyamaI19": { | |
"key": "conf/esop/SekiyamaI19", | |
"mdate": "2019-08-20", | |
"authors": "Taro Sekiyama and Atsushi Igarashi", | |
"title": "Handling Polymorphic Algebraic Effects", | |
"year": "2019", | |
"ee": "https://doi.org/10.1007/978-3-030-17184-1_13" | |
}, | |
"conf/esop/McDermottM19": { | |
"key": "conf/esop/McDermottM19", | |
"mdate": "2019-08-20", | |
"authors": "Dylan McDermott and Alan Mycroft", | |
"title": "Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order", | |
"year": "2019", | |
"ee": "https://doi.org/10.1007/978-3-030-17184-1_9" | |
}, | |
"conf/esop/SimpsonV18": { | |
"key": "conf/esop/SimpsonV18", | |
"mdate": "2020-10-25", | |
"authors": "Alex Simpson and Niels F. W. Voorneveld", | |
"title": "Behavioural Equivalence via Modalities for Algebraic Effects", | |
"year": "2018", | |
"ee": "https://doi.org/10.1007/978-3-319-89884-1_11" | |
}, | |
"journals/entcs/KammarM18": { | |
"key": "journals/entcs/KammarM18", | |
"mdate": "2022-08-16", | |
"authors": "Ohad Kammar and Dylan McDermott", | |
"title": "Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics", | |
"year": "2018", | |
"ee": "https://doi.org/10.1016/j.entcs.2018.11.012" | |
}, | |
"conf/oopsla/InostrozaS18": { | |
"key": "conf/oopsla/InostrozaS18", | |
"mdate": "2018-11-21", | |
"authors": "Pablo Inostroza and Tijs van der Storm", | |
"title": "JEff: objects for effect", | |
"year": "2018", | |
"ee": "https://doi.org/10.1145/3276954.3276955" | |
}, | |
"conf/icfp/Goncalves18": { | |
"key": "conf/icfp/Goncalves18", | |
"mdate": "2021-10-14", | |
"authors": "Junia Gonçalves", | |
"title": "Abstract nonsense", | |
"year": "2018", | |
"ee": "https://doi.org/10.1145/3242903.3242908" | |
}, | |
"conf/lics/PirogSWJ18": { | |
"key": "conf/lics/PirogSWJ18", | |
"mdate": "2021-10-14", | |
"authors": "Maciej Piróg, Tom Schrijvers, Nicolas Wu, and Mauro Jaskelioff", | |
"title": "Syntax and Semantics for Operations with Scopes", | |
"year": "2018", | |
"ee": "https://doi.org/10.1145/3209108.3209166" | |
}, | |
"conf/icfp/Leijen18": { | |
"key": "conf/icfp/Leijen18", | |
"mdate": "2018-12-11", | |
"authors": "Daan Leijen", | |
"title": "First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers", | |
"year": "2018", | |
"ee": "https://doi.org/10.1145/3240719.3241789" | |
}, | |
"conf/aplas/HillerstromL18": { | |
"key": "conf/aplas/HillerstromL18", | |
"mdate": "2020-12-29", | |
"authors": "Daniel Hillerström and Sam Lindley", | |
"title": "Shallow Effect Handlers", | |
"year": "2018", | |
"ee": "https://doi.org/10.1007/978-3-030-02768-1_22" | |
}, | |
"conf/fm/LetanRCH18": { | |
"key": "conf/fm/LetanRCH18", | |
"mdate": "2022-10-02", | |
"authors": "Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, and Guillaume Hiet", | |
"title": "Modular Verification of Programs with Effects and Effect Handlers in Coq", | |
"year": "2018", | |
"ee": "https://doi.org/10.1007/978-3-319-95582-7_20" | |
}, | |
"conf/esop/SalehKPS18": { | |
"key": "conf/esop/SalehKPS18", | |
"mdate": "2022-04-09", | |
"authors": "Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, and Tom Schrijvers", | |
"title": "Explicit Effect Subtyping", | |
"year": "2018", | |
"ee": "https://doi.org/10.1007/978-3-319-89884-1_12" | |
}, | |
"conf/sfp/DolanEHMSW17": { | |
"key": "conf/sfp/DolanEHMSW17", | |
"mdate": "2023-09-30", | |
"authors": "Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, and Leo White", | |
"title": "Concurrent System Programming with Effect Handlers", | |
"year": "2017", | |
"ee": "https://doi.org/10.1007/978-3-319-89719-6_6" | |
}, | |
"conf/ifl/PietersSR17": { | |
"key": "conf/ifl/PietersSR17", | |
"mdate": "2023-03-21", | |
"authors": "Ruben P. Pieters, Tom Schrijvers, and Exequiel Rivas", | |
"title": "Handlers for Non-Monadic Computations", | |
"year": "2017", | |
"ee": "https://doi.org/10.1145/3205368.3205372" | |
}, | |
"conf/scala/BrachthauserS17": { | |
"key": "conf/scala/BrachthauserS17", | |
"mdate": "2024-05-07", | |
"authors": "Jonathan Immanuel Brachthäuser and Philipp Schuster", | |
"title": "Effekt: extensible algebraic effects in Scala (short paper)", | |
"year": "2017", | |
"ee": "https://doi.org/10.1145/3136000.3136007" | |
}, | |
"conf/icfp/Leijen17": { | |
"key": "conf/icfp/Leijen17", | |
"mdate": "2018-12-11", | |
"authors": "Daan Leijen", | |
"title": "Structured asynchrony with algebraic effects", | |
"year": "2017", | |
"ee": "https://doi.org/10.1145/3122975.3122977" | |
}, | |
"conf/aplas/Leijen17": { | |
"key": "conf/aplas/Leijen17", | |
"mdate": "2017-11-20", | |
"authors": "Daan Leijen", | |
"title": "Implementing Algebraic Effects in C - \"Monads for Free in C\"", | |
"year": "2017", | |
"ee": "https://doi.org/10.1007/978-3-319-71237-6_17" | |
}, | |
"conf/rta/HillerstromLAS17": { | |
"key": "conf/rta/HillerstromLAS17", | |
"mdate": "2023-09-30", | |
"authors": "Daniel Hillerström, Sam Lindley, Robert Atkey, and K. C. Sivaramakrishnan", | |
"title": "Continuation Passing Style for Effect Handlers", | |
"year": "2017", | |
"ee": "https://doi.org/10.4230/LIPIcs.FSCD.2017.18" | |
}, | |
"conf/ecoop/Gordon17": { | |
"key": "conf/ecoop/Gordon17", | |
"mdate": "2019-09-16", | |
"authors": "Colin S. Gordon", | |
"title": "A Generic Approach to Flow-Sensitive Polymorphic Effects", | |
"year": "2017", | |
"ee": "https://doi.org/10.4230/LIPIcs.ECOOP.2017.13" | |
}, | |
"conf/popl/LindleyMM17": { | |
"key": "conf/popl/LindleyMM17", | |
"mdate": "2023-09-30", | |
"authors": "Sam Lindley, Conor McBride, and Craig McLaughlin", | |
"title": "Do be do be do", | |
"year": "2017", | |
"ee": "https://doi.org/10.1145/3009837.3009897" | |
}, | |
"conf/popl/Leijen17": { | |
"key": "conf/popl/Leijen17", | |
"mdate": "2021-06-14", | |
"authors": "Daan Leijen", | |
"title": "Type directed compilation of row-typed algebraic effects", | |
"year": "2017", | |
"ee": "https://doi.org/10.1145/3009837.3009872" | |
}, | |
"conf/icfp/GaboardiKOBU16": { | |
"key": "conf/icfp/GaboardiKOBU16", | |
"mdate": "2021-06-23", | |
"authors": "Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, and Tarmo Uustalu", | |
"title": "Combining effects and coeffects via grading", | |
"year": "2016", | |
"ee": "https://doi.org/10.1145/2951913.2951939" | |
}, | |
"conf/popl/OrchardY16": { | |
"key": "conf/popl/OrchardY16", | |
"mdate": "2021-06-23", | |
"authors": "Dominic A. Orchard and Nobuko Yoshida", | |
"title": "Effects as sessions, sessions as effects", | |
"year": "2016", | |
"ee": "https://doi.org/10.1145/2837614.2837634" | |
}, | |
"conf/birthday/MycroftOP16": { | |
"key": "conf/birthday/MycroftOP16", | |
"mdate": "2022-10-02", | |
"authors": "Alan Mycroft, Dominic A. Orchard, and Tomas Petricek", | |
"title": "Effect Systems Revisited - Control-Flow Algebra and Semantics", | |
"year": "2016", | |
"ee": "https://doi.org/10.1007/978-3-319-27810-0_1" | |
}, | |
"journals/corr/abs-1812-11664": { | |
"key": "journals/corr/abs-1812-11664", | |
"mdate": "2019-01-04", | |
"authors": "Oleg Kiselyov and K. C. Sivaramakrishnan", | |
"title": "Eff Directly in OCaml", | |
"year": "2016", | |
"ee": "https://doi.org/10.4204/EPTCS.285.2" | |
}, | |
"conf/icfp/HillerstromL16": { | |
"key": "conf/icfp/HillerstromL16", | |
"mdate": "2023-09-30", | |
"authors": "Daniel Hillerström and Sam Lindley", | |
"title": "Liberating effects with rows and handlers", | |
"year": "2016", | |
"ee": "https://doi.org/10.1145/2976022.2976033" | |
}, | |
"conf/fossacs/AhmanGP16": { | |
"key": "conf/fossacs/AhmanGP16", | |
"mdate": "2018-11-02", | |
"authors": "Danel Ahman, Neil Ghani, and Gordon D. Plotkin", | |
"title": "Dependent Types and Fibred Computational Effects", | |
"year": "2016", | |
"ee": "https://doi.org/10.1007/978-3-662-49630-5_3" | |
}, | |
"conf/padl/VazouL16": { | |
"key": "conf/padl/VazouL16", | |
"mdate": "2020-10-25", | |
"authors": "Niki Vazou and Daan Leijen", | |
"title": "From Monads to Effects and Back", | |
"year": "2016", | |
"ee": "https://doi.org/10.1007/978-3-319-28228-2_11" | |
}, | |
"conf/popl/Staton15": { | |
"key": "conf/popl/Staton15", | |
"mdate": "2021-06-23", | |
"authors": "Sam Staton", | |
"title": "Algebraic Effects, Linearity, and Quantum Programming Languages", | |
"year": "2015", | |
"ee": "https://doi.org/10.1145/2676726.2676999" | |
}, | |
"conf/ifl/VandenbrouckeSP15": { | |
"key": "conf/ifl/VandenbrouckeSP15", | |
"mdate": "2018-11-06", | |
"authors": "Alexander Vandenbroucke, Tom Schrijvers, and Frank Piessens", | |
"title": "Fixing non-determinism", | |
"year": "2015", | |
"ee": "https://doi.org/10.1145/2897336.2897342" | |
}, | |
"conf/oopsla/ToroT15": { | |
"key": "conf/oopsla/ToroT15", | |
"mdate": "2023-11-12", | |
"authors": "Matías Toro and Éric Tanter", | |
"title": "Customizable gradual polymorphic effects for Scala", | |
"year": "2015", | |
"ee": "https://doi.org/10.1145/2814270.2814315" | |
}, | |
"conf/haskell/KiselyovI15": { | |
"key": "conf/haskell/KiselyovI15", | |
"mdate": "2021-07-25", | |
"authors": "Oleg Kiselyov and Hiromi Ishii", | |
"title": "Freer monads, more extensible effects", | |
"year": "2015", | |
"ee": "https://doi.org/10.1145/2804302.2804319" | |
}, | |
"conf/mpc/WuS15": { | |
"key": "conf/mpc/WuS15", | |
"mdate": "2019-10-19", | |
"authors": "Nicolas Wu and Tom Schrijvers", | |
"title": "Fusion for Free - Efficient Algebraic Effect Handlers", | |
"year": "2015", | |
"ee": "https://doi.org/10.1007/978-3-319-19797-5_15" | |
}, | |
"journals/entcs/Uustalu15": { | |
"key": "journals/entcs/Uustalu15", | |
"mdate": "2022-08-16", | |
"authors": "Tarmo Uustalu", | |
"title": "Stateful Runners of Effectful Computations", | |
"year": "2015", | |
"ee": "https://doi.org/10.1016/j.entcs.2015.12.024" | |
}, | |
"conf/icfp/Lindley14": { | |
"key": "conf/icfp/Lindley14", | |
"mdate": "2023-09-30", | |
"authors": "Sam Lindley", | |
"title": "Algebraic effects and effect handlers for idioms and arrows", | |
"year": "2014", | |
"ee": "https://doi.org/10.1145/2633628.2633636" | |
}, | |
"conf/icfp/SchwerterGT14": { | |
"key": "conf/icfp/SchwerterGT14", | |
"mdate": "2021-06-24", | |
"authors": "Felipe Bañados Schwerter, Ronald Garcia, and Éric Tanter", | |
"title": "A theory of gradual effect systems", | |
"year": "2014", | |
"ee": "https://doi.org/10.1145/2628136.2628149" | |
}, | |
"conf/haskell/WuSH14": { | |
"key": "conf/haskell/WuSH14", | |
"mdate": "2021-06-24", | |
"authors": "Nicolas Wu, Tom Schrijvers, and Ralf Hinze", | |
"title": "Effect handlers in scope", | |
"year": "2014", | |
"ee": "https://doi.org/10.1145/2633357.2633358" | |
}, | |
"conf/haskell/OrchardP14": { | |
"key": "conf/haskell/OrchardP14", | |
"mdate": "2022-10-02", | |
"authors": "Dominic A. Orchard and Tomas Petricek", | |
"title": "Embedding effect systems in Haskell", | |
"year": "2014", | |
"ee": "https://doi.org/10.1145/2633357.2633368" | |
}, | |
"conf/popl/Katsumata14": { | |
"key": "conf/popl/Katsumata14", | |
"mdate": "2021-06-24", | |
"authors": "Shin-ya Katsumata", | |
"title": "Parametric effect monads and semantics of effect systems", | |
"year": "2014", | |
"ee": "https://doi.org/10.1145/2535838.2535846" | |
}, | |
"conf/icfp/Brady13": { | |
"key": "conf/icfp/Brady13", | |
"mdate": "2021-06-24", | |
"authors": "Edwin C. Brady", | |
"title": "Programming and reasoning with algebraic effects and dependent types", | |
"year": "2013", | |
"ee": "https://doi.org/10.1145/2500365.2500581" | |
}, | |
"conf/icfp/SculthorpeBGG13": { | |
"key": "conf/icfp/SculthorpeBGG13", | |
"mdate": "2021-06-24", | |
"authors": "Neil Sculthorpe, Jan Bracker, George Giorgidze, and Andy Gill", | |
"title": "The constrained-monad problem", | |
"year": "2013", | |
"ee": "https://doi.org/10.1145/2500365.2500602" | |
}, | |
"conf/icfp/KammarLO13": { | |
"key": "conf/icfp/KammarLO13", | |
"mdate": "2023-09-30", | |
"authors": "Ohad Kammar, Sam Lindley, and Nicolas Oury", | |
"title": "Handlers in action", | |
"year": "2013", | |
"ee": "https://doi.org/10.1145/2500365.2500590" | |
}, | |
"conf/haskell/KiselyovSS13": { | |
"key": "conf/haskell/KiselyovSS13", | |
"mdate": "2021-06-24", | |
"authors": "Oleg Kiselyov, Amr Sabry, and Cameron Swords", | |
"title": "Extensible effects: an alternative to monad transformers", | |
"year": "2013", | |
"ee": "https://doi.org/10.1145/2503778.2503791" | |
}, | |
"conf/ecoop/GordonDEG13": { | |
"key": "conf/ecoop/GordonDEG13", | |
"mdate": "2019-06-02", | |
"authors": "Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman", | |
"title": "Java UI : Effects for Controlling UI Object Access", | |
"year": "2013", | |
"ee": "https://doi.org/10.1007/978-3-642-39038-8_8" | |
}, | |
"journals/entcs/AhmanS13": { | |
"key": "journals/entcs/AhmanS13", | |
"mdate": "2022-08-16", | |
"authors": "Danel Ahman and Sam Staton", | |
"title": "Normalization by Evaluation and Algebraic Effects", | |
"year": "2013", | |
"ee": "https://doi.org/10.1016/j.entcs.2013.09.007" | |
}, | |
"conf/popl/Tate13": { | |
"key": "conf/popl/Tate13", | |
"mdate": "2021-06-24", | |
"authors": "Ross Tate", | |
"title": "The sequential semantics of producer effect systems", | |
"year": "2013", | |
"ee": "https://doi.org/10.1145/2429069.2429074" | |
}, | |
"conf/ecoop/RytzOH12": { | |
"key": "conf/ecoop/RytzOH12", | |
"mdate": "2017-05-21", | |
"authors": "Lukas Rytz, Martin Odersky, and Philipp Haller", | |
"title": "Lightweight Polymorphic Effects", | |
"year": "2012", | |
"ee": "https://doi.org/10.1007/978-3-642-31057-7_13" | |
}, | |
"journals/entcs/LindleyWY11": { | |
"key": "journals/entcs/LindleyWY11", | |
"mdate": "2023-09-30", | |
"authors": "Sam Lindley, Philip Wadler, and Jeremy Yallop", | |
"title": "Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous", | |
"year": "2008", | |
"ee": "https://doi.org/10.1016/j.entcs.2011.02.018" | |
}, | |
"conf/icfp/SwamyGLH11": { | |
"key": "conf/icfp/SwamyGLH11", | |
"mdate": "2021-06-24", | |
"authors": "Nikhil Swamy, Nataliya Guts, Daan Leijen, and Michael Hicks", | |
"title": "Lightweight monadic programming in ML", | |
"year": "2011", | |
"ee": "https://doi.org/10.1145/2034773.2034778" | |
}, | |
"conf/icfp/SchrijversO11": { | |
"key": "conf/icfp/SchrijversO11", | |
"mdate": "2021-06-24", | |
"authors": "Tom Schrijvers and Bruno C. d. S. Oliveira", | |
"title": "Monads, zippers and views: virtualizing the monad stack", | |
"year": "2011", | |
"ee": "https://doi.org/10.1145/2034773.2034781" | |
}, | |
"conf/icfp/GibbonsH11": { | |
"key": "conf/icfp/GibbonsH11", | |
"mdate": "2021-06-24", | |
"authors": "Jeremy Gibbons and Ralf Hinze", | |
"title": "Just do it: simple monadic equational reasoning", | |
"year": "2011", | |
"ee": "https://doi.org/10.1145/2034773.2034777" | |
}, | |
"conf/esop/PlotkinP09": { | |
"key": "conf/esop/PlotkinP09", | |
"mdate": "2022-04-09", | |
"authors": "Gordon D. Plotkin and Matija Pretnar", | |
"title": "Handlers of Algebraic Effects", | |
"year": "2009", | |
"ee": "https://doi.org/10.1007/978-3-642-00590-9_7" | |
}, | |
"conf/calco/Atkey09": { | |
"key": "conf/calco/Atkey09", | |
"mdate": "2017-06-01", | |
"authors": "Robert Atkey", | |
"title": "Algebras for Parameterised Monads", | |
"year": "2009", | |
"ee": "https://doi.org/10.1007/978-3-642-03741-2_2" | |
}, | |
"conf/haskell/KiselyovS08": { | |
"key": "conf/haskell/KiselyovS08", | |
"mdate": "2021-06-25", | |
"authors": "Oleg Kiselyov and Chung-chieh Shan", | |
"title": "Lightweight monadic regions", | |
"year": "2008", | |
"ee": "https://doi.org/10.1145/1411286.1411288" | |
}, | |
"conf/lics/PlotkinP08": { | |
"key": "conf/lics/PlotkinP08", | |
"mdate": "2023-03-24", | |
"authors": "Gordon D. Plotkin and Matija Pretnar", | |
"title": "A Logic for Algebraic Effects", | |
"year": "2008", | |
"ee": "https://doi.org/10.1109/LICS.2008.45" | |
}, | |
"journals/entcs/Atkey11": { | |
"key": "journals/entcs/Atkey11", | |
"mdate": "2023-02-24", | |
"authors": "Robert Atkey", | |
"title": "What is a Categorical Model of Arrows?", | |
"year": "2008", | |
"ee": "https://doi.org/10.1016/j.entcs.2011.02.014" | |
}, | |
"conf/icfp/Lin06": { | |
"key": "conf/icfp/Lin06", | |
"mdate": "2021-06-25", | |
"authors": "Chuan-Kai Lin", | |
"title": "Programming monads operationally with Unimo", | |
"year": "2006", | |
"ee": "https://doi.org/10.1145/1159803.1159840" | |
}, | |
"conf/fossacs/MoggiF03": { | |
"key": "conf/fossacs/MoggiF03", | |
"mdate": "2017-05-23", | |
"authors": "Eugenio Moggi and Sonia Fagorzi", | |
"title": "A Monadic Multi-stage Metalanguage", | |
"year": "2003", | |
"ee": "https://doi.org/10.1007/3-540-36576-1_23" | |
}, | |
"conf/icfp/LuthG02": { | |
"key": "conf/icfp/LuthG02", | |
"mdate": "2021-07-07", | |
"authors": "Christoph Lüth and Neil Ghani", | |
"title": "Composing monads using coproducts", | |
"year": "2002", | |
"ee": "https://doi.org/10.1145/581478.581492" | |
}, | |
"conf/fossacs/PlotkinP02": { | |
"key": "conf/fossacs/PlotkinP02", | |
"mdate": "2018-11-02", | |
"authors": "Gordon D. Plotkin and John Power", | |
"title": "Notions of Computation Determine Monads", | |
"year": "2002", | |
"ee": "https://doi.org/10.1007/3-540-45931-6_24" | |
}, | |
"conf/fossacs/PlotkinP01": { | |
"key": "conf/fossacs/PlotkinP01", | |
"mdate": "2018-11-02", | |
"authors": "Gordon D. Plotkin and John Power", | |
"title": "Adequacy for Algebraic Effects", | |
"year": "2001", | |
"ee": "https://doi.org/10.1007/3-540-45315-6_1" | |
}, | |
"conf/icfp/Hinze00": { | |
"key": "conf/icfp/Hinze00", | |
"mdate": "2021-07-08", | |
"authors": "Ralf Hinze", | |
"title": "Deriving backtracking monad transformers", | |
"year": "2000", | |
"ee": "https://doi.org/10.1145/351240.351258" | |
}, | |
"conf/ac/BentonHM00": { | |
"key": "conf/ac/BentonHM00", | |
"mdate": "2022-03-16", | |
"authors": "Nick Benton, John Hughes, and Eugenio Moggi", | |
"title": "Monads and Effects", | |
"year": "2000", | |
"ee": "https://doi.org/10.1007/3-540-45699-6_2" | |
}, | |
"conf/popl/Filinski99": { | |
"key": "conf/popl/Filinski99", | |
"mdate": "2018-11-06", | |
"authors": "Andrzej Filinski", | |
"title": "Representing Layered Monads", | |
"year": "1999", | |
"ee": "https://doi.org/10.1145/292540.292557" | |
}, | |
"conf/popl/LiangHJ95": { | |
"key": "conf/popl/LiangHJ95", | |
"mdate": "2018-11-06", | |
"authors": "Sheng Liang, Paul Hudak, and Mark P. Jones", | |
"title": "Monad Transformers and Modular Interpreters", | |
"year": "1995", | |
"ee": "https://doi.org/10.1145/199448.199528" | |
}, | |
"conf/afp/Wadler95": { | |
"key": "conf/afp/Wadler95", | |
"mdate": "2017-05-20", | |
"authors": "Philip Wadler", | |
"title": "Monads for Functional Programming", | |
"year": "1995", | |
"ee": "https://doi.org/10.1007/3-540-59451-5_2" | |
}, | |
"conf/tacs/CartwrightF94": { | |
"key": "conf/tacs/CartwrightF94", | |
"mdate": "2017-05-20", | |
"authors": "Robert Cartwright and Matthias Felleisen", | |
"title": "Extensible Denotational Language Specifications", | |
"year": "1994", | |
"ee": "https://doi.org/10.1007/3-540-57887-0_99" | |
}, | |
"conf/popl/Filinski94": { | |
"key": "conf/popl/Filinski94", | |
"mdate": "2018-11-06", | |
"authors": "Andrzej Filinski", | |
"title": "Representing Monads", | |
"year": "1994", | |
"ee": "https://doi.org/10.1145/174675.178047" | |
}, | |
"conf/popl/Steele94": { | |
"key": "conf/popl/Steele94", | |
"mdate": "2019-06-02", | |
"authors": "Guy L. Steele Jr.", | |
"title": "Building Interpreters by Composing Monads", | |
"year": "1994", | |
"ee": "https://doi.org/10.1145/174675.178068" | |
}, | |
"conf/popl/JonesW93": { | |
"key": "conf/popl/JonesW93", | |
"mdate": "2018-11-14", | |
"authors": "Simon L. Peyton Jones and Philip Wadler", | |
"title": "Imperative Functional Programming", | |
"year": "1993", | |
"ee": "https://doi.org/10.1145/158511.158524" | |
}, | |
"conf/fp/KingW92": { | |
"key": "conf/fp/KingW92", | |
"mdate": "2019-06-21", | |
"authors": "David J. King and Philip Wadler", | |
"title": "Combining Monads", | |
"year": "1992", | |
"ee": "https://doi.org/10.1007/978-1-4471-3215-8_12" | |
}, | |
"conf/popl/Wadler92": { | |
"key": "conf/popl/Wadler92", | |
"mdate": "2018-11-06", | |
"authors": "Philip Wadler", | |
"title": "The Essence of Functional Programming", | |
"year": "1992", | |
"ee": "https://doi.org/10.1145/143165.143169" | |
}, | |
"conf/lfp/Wadler90": { | |
"key": "conf/lfp/Wadler90", | |
"mdate": "2019-08-03", | |
"authors": "Philip Wadler", | |
"title": "Comprehending Monads", | |
"year": "1990", | |
"ee": "https://doi.org/10.1145/91556.91592" | |
}, | |
"conf/lfp/DanvyF90": { | |
"key": "conf/lfp/DanvyF90", | |
"mdate": "2024-08-04", | |
"authors": "Olivier Danvy and Andrzej Filinski", | |
"title": "Abstracting Control", | |
"year": "1990", | |
"ee": "https://doi.org/10.1145/91556.91622" | |
}, | |
"conf/lics/Moggi89": { | |
"key": "conf/lics/Moggi89", | |
"mdate": "2023-03-24", | |
"authors": "Eugenio Moggi", | |
"title": "Computational Lambda-Calculus and Monads", | |
"year": "1989", | |
"ee": "https://doi.org/10.1109/LICS.1989.39155" | |
}, | |
"conf/popl/LucassenG88": { | |
"key": "conf/popl/LucassenG88", | |
"mdate": "2018-11-14", | |
"authors": "John M. Lucassen and David K. Gifford", | |
"title": "Polymorphic Effect Systems", | |
"year": "1988", | |
"ee": "https://doi.org/10.1145/73560.73564" | |
}, | |
"conf/iccl/JouvelotG88": { | |
"key": "conf/iccl/JouvelotG88", | |
"mdate": "2023-03-23", | |
"authors": "Pierre Jouvelot and David K. Gifford", | |
"title": "The FX-87 Interpreter", | |
"year": "1988", | |
"ee": "https://doi.org/10.1109/ICCL.1988.13044" | |
}, | |
"phd/ethos/McLaughlin20": { | |
"key": "phd/ethos/McLaughlin20", | |
"mdate": "2022-08-10", | |
"authors": "Craig McLaughlin", | |
"title": "Relational reasoning for effects and handlers", | |
"year": "2020", | |
"ee": "https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.814907" | |
}, | |
"phd/dnb/Brachthauser20": { | |
"key": "phd/dnb/Brachthauser20", | |
"mdate": "2021-07-17", | |
"authors": "Jonathan Immanuel Brachthäuser", | |
"title": "Design and Implementation of Effect Handlers for Object-Oriented Programming Languages", | |
"year": "2020", | |
"ee": "https://publikationen.uni-tuebingen.de/xmlui/handle/10900/102021/" | |
}, | |
"phd/ethos/Geron20": { | |
"key": "phd/ethos/Geron20", | |
"mdate": "2022-10-13", | |
"authors": "Bram Geron", | |
"title": "Defined algebraic operations", | |
"year": "2020", | |
"ee": "https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.834310" | |
}, | |
"phd/ethos/Cheung17": { | |
"key": "phd/ethos/Cheung17", | |
"mdate": "2022-04-05", | |
"authors": "Kwok-Ho Cheung", | |
"title": "Distributive interaction of algebraic effects", | |
"year": "2017", | |
"ee": "https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.748792" | |
}, | |
"phd/ethos/Ahman17": { | |
"key": "phd/ethos/Ahman17", | |
"mdate": "2024-04-22", | |
"authors": "Danel Ahman", | |
"title": "Fibred computational effects", | |
"year": "2017", | |
"ee": "https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.738831" | |
}, | |
"phd/ethos/Pretnar10": { | |
"key": "phd/ethos/Pretnar10", | |
"mdate": "2022-05-04", | |
"authors": "Matija Pretnar", | |
"title": "Logic and handling of algebraic effects", | |
"year": "2010", | |
"ee": "https://hdl.handle.net/1842/4611" | |
}, | |
"journals/lisp/Wadler94": { | |
"key": "journals/lisp/Wadler94", | |
"mdate": "2020-05-21", | |
"authors": "Philip Wadler", | |
"title": "Monads and Composable Continuations", | |
"year": "1994", | |
"ee": null | |
}, | |
"conf/calco/Plotkin09": { | |
"key": "conf/calco/Plotkin09", | |
"mdate": "2017-05-24", | |
"authors": "Gordon D. Plotkin", | |
"title": "Adequacy for Infinitary Algebraic Effects (Abstract)", | |
"year": "2009", | |
"ee": "https://doi.org/10.1007/978-3-642-03741-2_1" | |
}, | |
"conf/popl/Filinski10": { | |
"key": "conf/popl/Filinski10", | |
"mdate": "2021-06-22", | |
"authors": "Andrzej Filinski", | |
"title": "Monads in action", | |
"year": "2010", | |
"ee": "https://doi.org/10.1145/1706299.1706354" | |
}, | |
"books/daglib/p/GlabbeekP10": { | |
"key": "books/daglib/p/GlabbeekP10", | |
"mdate": "2017-05-16", | |
"authors": "Rob J. van Glabbeek and Gordon D. Plotkin", | |
"title": "On CSP and the Algebraic Theory of Effects", | |
"year": "2010", | |
"ee": "https://doi.org/10.1007/978-1-84882-912-1_15" | |
}, | |
"conf/icfp/MorgensternL10": { | |
"key": "conf/icfp/MorgensternL10", | |
"mdate": "2021-06-22", | |
"authors": "Jamie Morgenstern and Daniel R. Licata", | |
"title": "Security-typed programming within dependently typed programming", | |
"year": "2010", | |
"ee": "https://doi.org/10.1145/1863543.1863569" | |
}, | |
"conf/calco/MogelbergS11": { | |
"key": "conf/calco/MogelbergS11", | |
"mdate": "2017-05-24", | |
"authors": "Rasmus Ejlers Møgelberg and Sam Staton", | |
"title": "Linearly-Used State in Models of Call-by-Value", | |
"year": "2011", | |
"ee": "https://doi.org/10.1007/978-3-642-22944-2_21" | |
}, | |
"conf/icalp/Katsumata11": { | |
"key": "conf/icalp/Katsumata11", | |
"mdate": "2021-04-09", | |
"authors": "Shin-ya Katsumata", | |
"title": "Relating Computational Effects by ⊤ ⊤-Lifting", | |
"year": "2011", | |
"ee": "https://doi.org/10.1007/978-3-642-22012-8_13" | |
}, | |
"journals/mscs/DumasDFR12": { | |
"key": "journals/mscs/DumasDFR12", | |
"mdate": "2020-04-01", | |
"authors": "Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, and Jean-Claude Reynaud", | |
"title": "A duality between exceptions and states", | |
"year": "2012", | |
"ee": "https://doi.org/10.1017/S0960129511000752" | |
}, | |
"conf/popl/KammarP12": { | |
"key": "conf/popl/KammarP12", | |
"mdate": "2021-06-24", | |
"authors": "Ohad Kammar and Gordon D. Plotkin", | |
"title": "Algebraic foundations for effect-dependent optimisations", | |
"year": "2012", | |
"ee": "https://doi.org/10.1145/2103656.2103698" | |
}, | |
"conf/concur/Plotkin12": { | |
"key": "conf/concur/Plotkin12", | |
"mdate": "2017-05-23", | |
"authors": "Gordon D. Plotkin", | |
"title": "Concurrency and the Algebraic Theory of Effects - (Abstract)", | |
"year": "2012", | |
"ee": "https://doi.org/10.1007/978-3-642-32940-1_2" | |
}, | |
"conf/utp/Gibbons12": { | |
"key": "conf/utp/Gibbons12", | |
"mdate": "2017-05-23", | |
"authors": "Jeremy Gibbons", | |
"title": "Unifying Theories of Programming with Monads", | |
"year": "2012", | |
"ee": "https://doi.org/10.1007/978-3-642-35705-3_2" | |
}, | |
"conf/fossacs/Staton13": { | |
"key": "conf/fossacs/Staton13", | |
"mdate": "2018-06-26", | |
"authors": "Sam Staton", | |
"title": "An Algebraic Presentation of Predicate Logic - (Extended Abstract)", | |
"year": "2013", | |
"ee": "https://doi.org/10.1007/978-3-642-37075-5_26" | |
}, | |
"conf/calco/BauerP13": { | |
"key": "conf/calco/BauerP13", | |
"mdate": "2022-04-09", | |
"authors": "Andrej Bauer and Matija Pretnar", | |
"title": "An Effect System for Algebraic Effects and Handlers", | |
"year": "2013", | |
"ee": "https://doi.org/10.1007/978-3-642-40206-7_1" | |
}, | |
"conf/ifl/DayH13": { | |
"key": "conf/ifl/DayH13", | |
"mdate": "2023-03-21", | |
"authors": "Laurence E. Day and Graham Hutton", | |
"title": "Compilation à la Carte", | |
"year": "2013", | |
"ee": "https://doi.org/10.1145/2620678.2620680" | |
}, | |
"journals/entcs/Escardo13": { | |
"key": "journals/entcs/Escardo13", | |
"mdate": "2022-08-16", | |
"authors": "Martín Hötzel Escardó", | |
"title": "Continuity of Gödel's System T Definable Functionals via Effectful Forcing", | |
"year": "2013", | |
"ee": "https://doi.org/10.1016/j.entcs.2013.09.010" | |
}, | |
"journals/tplp/SchrijversDDW13": { | |
"key": "journals/tplp/SchrijversDDW13", | |
"mdate": "2020-02-13", | |
"authors": "Tom Schrijvers, Bart Demoen, Benoit Desouter, and Jan Wielemaker", | |
"title": "Delimited continuations for prolog", | |
"year": "2013", | |
"ee": "https://doi.org/10.1017/S1471068413000331" | |
}, | |
"conf/ifl/FowlerB13": { | |
"key": "conf/ifl/FowlerB13", | |
"mdate": "2020-06-21", | |
"authors": "Simon Fowler and Edwin C. Brady", | |
"title": "Dependent Types for Safe and Secure Web Programming", | |
"year": "2013", | |
"ee": "https://doi.org/10.1145/2620678.2620683" | |
}, | |
"conf/icfp/DelawareKSO13": { | |
"key": "conf/icfp/DelawareKSO13", | |
"mdate": "2023-09-30", | |
"authors": "Benjamin Delaware, Steven Keuchel, Tom Schrijvers, and Bruno C. d. S. Oliveira", | |
"title": "Modular monadic meta-theory", | |
"year": "2013", | |
"ee": "https://doi.org/10.1145/2500365.2500587" | |
}, | |
"conf/cefp/Brady13": { | |
"key": "conf/cefp/Brady13", | |
"mdate": "2020-06-21", | |
"authors": "Edwin C. Brady", | |
"title": "The Idris Programming Language - Implementing Embedded Domain Specific Languages with Dependent Types", | |
"year": "2013", | |
"ee": "https://doi.org/10.1007/978-3-319-15940-9_4" | |
}, | |
"journals/corr/Ekici14": { | |
"key": "journals/corr/Ekici14", | |
"mdate": "2018-08-13", | |
"authors": "Burak Ekici", | |
"title": "Certification of programs with computational effects", | |
"year": "2014", | |
"ee": "http://arxiv.org/abs/1411.7139" | |
}, | |
"conf/ppdp/SchrijversWDD14": { | |
"key": "conf/ppdp/SchrijversWDD14", | |
"mdate": "2019-10-19", | |
"authors": "Tom Schrijvers, Nicolas Wu, Benoit Desouter, and Bart Demoen", | |
"title": "Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation", | |
"year": "2014", | |
"ee": "https://doi.org/10.1145/2643135.2643145" | |
}, | |
"journals/corr/Leijen14": { | |
"key": "journals/corr/Leijen14", | |
"mdate": "2018-09-12", | |
"authors": "Daan Leijen", | |
"title": "Koka: Programming with Row Polymorphic Effect Types", | |
"year": "2014", | |
"ee": "https://doi.org/10.4204/EPTCS.153.8" | |
}, | |
"journals/corr/Hedges14a": { | |
"key": "journals/corr/Hedges14a", | |
"mdate": "2018-09-12", | |
"authors": "Jules Hedges", | |
"title": "Monad Transformers for Backtracking Search", | |
"year": "2014", | |
"ee": "https://doi.org/10.4204/EPTCS.153.3" | |
}, | |
"conf/haskell/PloegK14": { | |
"key": "conf/haskell/PloegK14", | |
"mdate": "2021-06-24", | |
"authors": "Atze van der Ploeg and Oleg Kiselyov", | |
"title": "Reflection without remorse: revealing a hidden sequence to speed up monadic reflection", | |
"year": "2014", | |
"ee": "https://doi.org/10.1145/2633357.2633360" | |
}, | |
"conf/sfp/Brady14": { | |
"key": "conf/sfp/Brady14", | |
"mdate": "2020-06-21", | |
"authors": "Edwin C. Brady", | |
"title": "Resource-Dependent Algebraic Effects", | |
"year": "2014", | |
"ee": "https://doi.org/10.1007/978-3-319-14675-1_2" | |
}, | |
"conf/csl/FioreS14": { | |
"key": "conf/csl/FioreS14", | |
"mdate": "2018-11-06", | |
"authors": "Marcelo P. Fiore and Sam Staton", | |
"title": "Substitution, jumps, and algebraic effects", | |
"year": "2014", | |
"ee": "https://doi.org/10.1145/2603088.2603163" | |
}, | |
"conf/padl/PetricekS14": { | |
"key": "conf/padl/PetricekS14", | |
"mdate": "2017-09-06", | |
"authors": "Tomas Petricek and Don Syme", | |
"title": "The F# Computation Expression Zoo", | |
"year": "2014", | |
"ee": "https://doi.org/10.1007/978-3-319-04132-2_3" | |
}, | |
"conf/ppdp/RivasJS15": { | |
"key": "conf/ppdp/RivasJS15", | |
"mdate": "2023-03-21", | |
"authors": "Exequiel Rivas, Mauro Jaskelioff, and Tom Schrijvers", | |
"title": "From monoids to near-semirings: the essence of MonadPlus and alternative", | |
"year": "2015", | |
"ee": "https://doi.org/10.1145/2790449.2790514" | |
}, | |
"journals/tcs/Hasuo15": { | |
"key": "journals/tcs/Hasuo15", | |
"mdate": "2021-10-14", | |
"authors": "Ichiro Hasuo", | |
"title": "Generic weakest precondition semantics from monads enriched with order", | |
"year": "2015", | |
"ee": "https://doi.org/10.1016/j.tcs.2015.03.047" | |
}, | |
"journals/corr/DumasDEPR15": { | |
"key": "journals/corr/DumasDEPR15", | |
"mdate": "2022-04-09", | |
"authors": "Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, and Jean-Claude Reynaud", | |
"title": "Hilbert-Post completeness for the state and the exception effects", | |
"year": "2015", | |
"ee": "http://arxiv.org/abs/1503.00948" | |
}, | |
"conf/icse/ClaretR15": { | |
"key": "conf/icse/ClaretR15", | |
"mdate": "2023-03-23", | |
"authors": "Guillaume Claret and Yann Régis-Gianas", | |
"title": "Mechanical Verification of Interactive Programs Specified by Use Cases", | |
"year": "2015", | |
"ee": "https://doi.org/10.1109/FormaliSE.2015.17" | |
}, | |
"conf/haskell/OliveiraMY15": { | |
"key": "conf/haskell/OliveiraMY15", | |
"mdate": "2021-06-23", | |
"authors": "Bruno C. d. S. Oliveira, Shin-Cheng Mu, and Shu-Hung You", | |
"title": "Modular reifiable matching: a list-of-functors approach to two-level types", | |
"year": "2015", | |
"ee": "https://doi.org/10.1145/2804302.2804315" | |
}, | |
"conf/macis/DumasDEPR15": { | |
"key": "conf/macis/DumasDEPR15", | |
"mdate": "2019-10-19", | |
"authors": "Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, and Jean-Claude Reynaud", | |
"title": "Relative Hilbert-Post Completeness for Exceptions", | |
"year": "2015", | |
"ee": "https://doi.org/10.1007/978-3-319-32859-1_51" | |
}, | |
"journals/entcs/HeunenK15": { | |
"key": "journals/entcs/HeunenK15", | |
"mdate": "2022-08-16", | |
"authors": "Chris Heunen and Martti Karvonen", | |
"title": "Reversible Monadic Computing", | |
"year": "2015", | |
"ee": "https://doi.org/10.1016/j.entcs.2015.12.014" | |
}, | |
"journals/tplp/DesouterDS15": { | |
"key": "journals/tplp/DesouterDS15", | |
"mdate": "2020-02-13", | |
"authors": "Benoit Desouter, Marko van Dooren, and Tom Schrijvers", | |
"title": "Tabling as a library with delimited control", | |
"year": "2015", | |
"ee": "https://doi.org/10.1017/S1471068415000137" | |
}, | |
"conf/mpc/McBride15": { | |
"key": "conf/mpc/McBride15", | |
"mdate": "2018-11-02", | |
"authors": "Conor McBride", | |
"title": "Turing-Completeness Totally Free", | |
"year": "2015", | |
"ee": "https://doi.org/10.1007/978-3-319-19797-5_13" | |
}, | |
"journals/entcs/0001RS15": { | |
"key": "journals/entcs/0001RS15", | |
"mdate": "2022-08-16", | |
"authors": "Sergey Goncharov, Christoph Rauch, and Lutz Schröder", | |
"title": "Unguarded Recursion on Coinductive Resumptions", | |
"year": "2015", | |
"ee": "https://doi.org/10.1016/j.entcs.2015.12.012" | |
}, | |
"conf/ecoop/0008EW16": { | |
"key": "conf/ecoop/0008EW16", | |
"mdate": "2018-08-23", | |
"authors": "Sheng Chen, Martin Erwig, and Eric Walkingshaw", | |
"title": "A Calculus for Variational Programming", | |
"year": "2016", | |
"ee": "https://doi.org/10.4230/LIPIcs.ECOOP.2016.6" | |
}, | |
"conf/cpp/RahliB16": { | |
"key": "conf/cpp/RahliB16", | |
"mdate": "2019-10-19", | |
"authors": "Vincent Rahli and Mark Bickford", | |
"title": "A nominal exploration of intuitionism", | |
"year": "2016", | |
"ee": "https://doi.org/10.1145/2854065.2854077" | |
}, | |
"conf/types/BauerGHPS16": { | |
"key": "conf/types/BauerGHPS16", | |
"mdate": "2023-08-06", | |
"authors": "Andrej Bauer, Gaëtan Gilbert, Philipp G. Haselwarter, Matija Pretnar, and Christopher A. Stone", | |
"title": "Design and Implementation of the Andromeda Proof Assistant", | |
"year": "2016", | |
"ee": "https://doi.org/10.4230/LIPIcs.TYPES.2016.5" | |
}, | |
"conf/oopsla/LongLR16": { | |
"key": "conf/oopsla/LongLR16", | |
"mdate": "2021-06-23", | |
"authors": "Yuheng Long, Yu David Liu, and Hridesh Rajan", | |
"title": "First-class effect reflection for effect-guided programming", | |
"year": "2016", | |
"ee": "https://doi.org/10.1145/2983990.2984037" | |
}, | |
"conf/oopsla/OsvaldEWAR16": { | |
"key": "conf/oopsla/OsvaldEWAR16", | |
"mdate": "2021-06-23", | |
"authors": "Leo Osvald, Grégory M. Essertel, Xilun Wu, Lilliam I. González Alayón, and Tiark Rompf", | |
"title": "Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect", | |
"year": "2016", | |
"ee": "https://doi.org/10.1145/2983990.2984009" | |
}, | |
"conf/fg/MarsikA16": { | |
"key": "conf/fg/MarsikA16", | |
"mdate": "2017-05-24", | |
"authors": "Jirka Marsík and Maxime Amblard", | |
"title": "Introducing a Calculus of Effects and Handlers for Natural Language Semantics", | |
"year": "2016", | |
"ee": "https://doi.org/10.1007/978-3-662-53042-9_15" | |
}, | |
"conf/eoolt/Hoger16": { | |
"key": "conf/eoolt/Hoger16", | |
"mdate": "2018-11-06", | |
"authors": "Christoph Höger", | |
"title": "Modeling with monads: extensible modeling semantics as syntactic sugar", | |
"year": "2016", | |
"ee": "https://doi.org/10.1145/2904081.2904084" | |
}, | |
"journals/jfp/PirogS17": { | |
"key": "journals/jfp/PirogS17", | |
"mdate": "2021-10-14", | |
"authors": "Maciej Piróg and Sam Staton", | |
"title": "Backtracking with cut via a distributive law and left-zero monoids", | |
"year": "2017", | |
"ee": "https://doi.org/10.1017/S0956796817000077" | |
}, | |
"conf/popl/AhmanHMMPPRS17": { | |
"key": "conf/popl/AhmanHMMPPRS17", | |
"mdate": "2021-10-14", | |
"authors": "Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, and Nikhil Swamy", | |
"title": "Dijkstra monads for free", | |
"year": "2017", | |
"ee": "https://doi.org/10.1145/3009837.3009878" | |
}, | |
"conf/fossacs/Mamouras17": { | |
"key": "conf/fossacs/Mamouras17", | |
"mdate": "2017-05-23", | |
"authors": "Konstantinos Mamouras", | |
"title": "Equational Theories of Abnormal Termination Based on Kleene Algebra", | |
"year": "2017", | |
"ee": "https://doi.org/10.1007/978-3-662-54458-7_6" | |
}, | |
"journals/pacmpl/IgarashiTVW17": { | |
"key": "journals/pacmpl/IgarashiTVW17", | |
"mdate": "2024-05-07", | |
"authors": "Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, and Philip Wadler", | |
"title": "Gradual session types", | |
"year": "2017", | |
"ee": "https://doi.org/10.1145/3110282" | |
}, | |
"journals/jfp/AbelAS17": { | |
"key": "journals/jfp/AbelAS17", | |
"mdate": "2019-10-19", | |
"authors": "Andreas Abel, Stephan Adelsberger, and Anton Setzer", | |
"title": "Interactive programming in Agda - Objects and graphical user interfaces", | |
"year": "2017", | |
"ee": "https://doi.org/10.1017/S0956796816000319" | |
}, | |
"conf/ecoop/KaminaAM17": { | |
"key": "conf/ecoop/KaminaAM17", | |
"mdate": "2019-10-19", | |
"authors": "Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara", | |
"title": "Push-based reactive layer activation in context-oriented programming", | |
"year": "2017", | |
"ee": "https://doi.org/10.1145/3117802.3117805" | |
}, | |
"conf/dls/LoringML17": { | |
"key": "conf/dls/LoringML17", | |
"mdate": "2021-06-23", | |
"authors": "Matthew C. Loring, Mark Marron, and Daan Leijen", | |
"title": "Semantics of asynchronous JavaScript", | |
"year": "2017", | |
"ee": "https://doi.org/10.1145/3133841.3133846" | |
}, | |
"journals/aghcs/Brady17": { | |
"key": "journals/aghcs/Brady17", | |
"mdate": "2020-07-16", | |
"authors": "Edwin C. Brady", | |
"title": "Type-driven Development of Concurrent Communicating Systems", | |
"year": "2017", | |
"ee": "https://doi.org/10.7494/csci.2017.18.3.1413" | |
}, | |
"conf/ppdp/AdelsbergerSW18": { | |
"key": "conf/ppdp/AdelsbergerSW18", | |
"mdate": "2019-10-19", | |
"authors": "Stephan Adelsberger, Anton Setzer, and Eric Walkingshaw", | |
"title": "Declarative GUIs: Simple, Consistent, and Verified", | |
"year": "2018", | |
"ee": "https://doi.org/10.1145/3236950.3236962" | |
}, | |
"conf/setta/AdelsbergerSW18": { | |
"key": "conf/setta/AdelsbergerSW18", | |
"mdate": "2018-08-27", | |
"authors": "Stephan Adelsberger, Anton Setzer, and Eric Walkingshaw", | |
"title": "Developing GUI Applications in a Verified Setting", | |
"year": "2018", | |
"ee": "https://doi.org/10.1007/978-3-319-99933-3_6" | |
}, | |
"journals/programming/KaminaA18": { | |
"key": "journals/programming/KaminaA18", | |
"mdate": "2021-02-17", | |
"authors": "Tetsuo Kamina and Tomoyuki Aotani", | |
"title": "Harmonizing Signals and Events with a Lightweight Extension to Java", | |
"year": "2018", | |
"ee": "https://doi.org/10.22152/programming-journal.org/2018/2/5" | |
}, | |
"journals/dmtcs/Ekici18": { | |
"key": "journals/dmtcs/Ekici18", | |
"mdate": "2023-02-12", | |
"authors": "Burak Ekici", | |
"title": "IMP with exceptions over decorated logic", | |
"year": "2018", | |
"ee": "https://doi.org/10.23638/DMTCS-20-2-11" | |
}, | |
"conf/synasc/CiobanuT18": { | |
"key": "conf/synasc/CiobanuT18", | |
"mdate": "2021-04-09", | |
"authors": "Gabriel Ciobanu and Eneia Nicolae Todoran", | |
"title": "On the Abstractness of Continuation Semantics", | |
"year": "2018", | |
"ee": "https://doi.org/10.1109/SYNASC.2018.00036" | |
}, | |
"journals/ijar/Abdallah18": { | |
"key": "journals/ijar/Abdallah18", | |
"mdate": "2020-02-21", | |
"authors": "Samer Abdallah", | |
"title": "PRISM revisited: Declarative implementation of a probabilistic programming language using multi-prompt delimited control", | |
"year": "2018", | |
"ee": "https://doi.org/10.1016/j.ijar.2018.10.012" | |
}, | |
"journals/pacmpl/YallopGK18": { | |
"key": "journals/pacmpl/YallopGK18", | |
"mdate": "2021-02-17", | |
"authors": "Jeremy Yallop, Tamara von Glehn, and Ohad Kammar", | |
"title": "Partially-static data as free extension of algebras", | |
"year": "2018", | |
"ee": "https://doi.org/10.1145/3236795" | |
}, | |
"conf/pepm/AsaiU18": { | |
"key": "conf/pepm/AsaiU18", | |
"mdate": "2018-11-21", | |
"authors": "Kenichi Asai and Chihiro Uehara", | |
"title": "Selective CPS transformation for shift and reset", | |
"year": "2018", | |
"ee": "https://doi.org/10.1145/3162069" | |
}, | |
"journals/lmcs/GoncharovSRJ18": { | |
"key": "journals/lmcs/GoncharovSRJ18", | |
"mdate": "2021-07-25", | |
"authors": "Sergey Goncharov, Lutz Schröder, Christoph Rauch, and Julian Jakob", | |
"title": "Unguarded Recursion on Coinductive Resumptions", | |
"year": "2018", | |
"ee": "https://doi.org/10.23638/LMCS-14(3:10)2018" | |
}, | |
"journals/mscs/RahliB18": { | |
"key": "journals/mscs/RahliB18", | |
"mdate": "2020-04-01", | |
"authors": "Vincent Rahli and Mark Bickford", | |
"title": "Validating Brouwer's continuity principle for numbers using named exceptions", | |
"year": "2018", | |
"ee": "https://doi.org/10.1017/S0960129517000172" | |
}, | |
"conf/oopsla/Gariano0S19": { | |
"key": "conf/oopsla/Gariano0S19", | |
"mdate": "2020-03-27", | |
"authors": "Isaac Oscar Gariano, James Noble, and Marco Servetto", | |
"title": "CallƐ: an effect system for method calls", | |
"year": "2019", | |
"ee": "https://doi.org/10.1145/3359591.3359731" | |
}, | |
"conf/iccp2/Todoran19": { | |
"key": "conf/iccp2/Todoran19", | |
"mdate": "2020-02-04", | |
"authors": "Eneia Nicolae Todoran", | |
"title": "Continuation-Based Metric Semantics for Concurrency", | |
"year": "2019", | |
"ee": "https://doi.org/10.1109/ICCP48234.2019.8959761" | |
}, | |
"conf/esop/LagoG19": { | |
"key": "conf/esop/LagoG19", | |
"mdate": "2022-01-03", | |
"authors": "Ugo Dal Lago and Francesco Gavazzo", | |
"title": "Effectful Normal Form Bisimulation", | |
"year": "2019", | |
"ee": "https://doi.org/10.1007/978-3-030-17184-1_10" | |
}, | |
"journals/pacmpl/FowlerLMD19": { | |
"key": "journals/pacmpl/FowlerLMD19", | |
"mdate": "2023-09-30", | |
"authors": "Simon Fowler, Sam Lindley, J. Garrett Morris, and Sára Decova", | |
"title": "Exceptional asynchronous session types: session types without tiers", | |
"year": "2019", | |
"ee": "https://doi.org/10.1145/3290341" | |
}, | |
"conf/padl/PietersS19": { | |
"key": "conf/padl/PietersS19", | |
"mdate": "2019-09-05", | |
"authors": "Ruben P. Pieters and Tom Schrijvers", | |
"title": "Faster Coroutine Pipelines: A Reconstruction", | |
"year": "2019", | |
"ee": "https://doi.org/10.1007/978-3-030-05998-9_9" | |
}, | |
"journals/jfp/IgarashiTTVW19": { | |
"key": "journals/jfp/IgarashiTTVW19", | |
"mdate": "2020-06-16", | |
"authors": "Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, and Philip Wadler", | |
"title": "Gradual session types", | |
"year": "2019", | |
"ee": "https://doi.org/10.1017/S0956796819000169" | |
}, | |
"conf/pldi/AiADGJKKTT19": { | |
"key": "conf/pldi/AiADGJKKTT19", | |
"mdate": "2020-06-15", | |
"authors": "Jessica Ai, Nimar S. Arora, Ning Dong, Beliz Gokkaya, Thomas Jiang, Anitha Kubendran, Arun Kumar, Michael Tingley, and Narjes Torabi", | |
"title": "HackPPL: a universal probabilistic programming language", | |
"year": "2019", | |
"ee": "https://doi.org/10.1145/3315508.3329974" | |
}, | |
"conf/haskell/Devriese19": { | |
"key": "conf/haskell/Devriese19", | |
"mdate": "2019-09-25", | |
"authors": "Dominique Devriese", | |
"title": "Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study", | |
"year": "2019", | |
"ee": "https://doi.org/10.1145/3331545.3342589" | |
}, | |
"journals/vlc/Mosses19": { | |
"key": "journals/vlc/Mosses19", | |
"mdate": "2020-03-27", | |
"authors": "Peter D. Mosses", | |
"title": "Software meta-language engineering and CBS", | |
"year": "2019", | |
"ee": "https://doi.org/10.1016/j.jvlc.2018.11.003" | |
}, | |
"conf/ecoop/Muijnck-HughesB19": { | |
"key": "conf/ecoop/Muijnck-HughesB19", | |
"mdate": "2020-11-16", | |
"authors": "Jan de Muijnck-Hughes, Edwin C. Brady, and Wim Vanderbauwhede", | |
"title": "A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl)", | |
"year": "2020", | |
"ee": "https://doi.org/10.4230/LIPIcs.ECOOP.2020.20" | |
}, | |
"conf/aplas/UustaluV20": { | |
"key": "conf/aplas/UustaluV20", | |
"mdate": "2020-12-01", | |
"authors": "Tarmo Uustalu and Niels F. W. Voorneveld", | |
"title": "Algebraic and Coalgebraic Perspectives on Interaction Laws", | |
"year": "2020", | |
"ee": "https://doi.org/10.1007/978-3-030-64437-6_10" | |
}, | |
"conf/sfp/Janin20": { | |
"key": "conf/sfp/Janin20", | |
"mdate": "2020-08-26", | |
"authors": "David Janin", | |
"title": "An Equational Modeling of Asynchronous Concurrent Programming", | |
"year": "2020", | |
"ee": "https://doi.org/10.1007/978-3-030-57761-2_9" | |
}, | |
"conf/pldi/FlattD20": { | |
"key": "conf/pldi/FlattD20", | |
"mdate": "2020-06-09", | |
"authors": "Matthew Flatt and R. Kent Dybvig", | |
"title": "Compiler and runtime support for continuation marks", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3385412.3385981" | |
}, | |
"journals/jfp/PietersS20": { | |
"key": "journals/jfp/PietersS20", | |
"mdate": "2022-06-23", | |
"authors": "Ruben P. Pieters and Tom Schrijvers", | |
"title": "Faster coroutine pipelines: A reconstruction", | |
"year": "2020", | |
"ee": "https://doi.org/10.1017/S0956796820000192" | |
}, | |
"conf/cpp/LetanR20": { | |
"key": "conf/cpp/LetanR20", | |
"mdate": "2020-01-23", | |
"authors": "Thomas Letan and Yann Régis-Gianas", | |
"title": "FreeSpec: specifying, verifying, and executing impure computations in Coq", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3372885.3373812" | |
}, | |
"journals/corr/abs-2010-09073": { | |
"key": "journals/corr/abs-2010-09073", | |
"mdate": "2023-12-11", | |
"authors": "Yizhou Zhang, Guido Salvaneschi, and Andrew C. Myers", | |
"title": "Handling Bidirectional Control Flow: Technical Report", | |
"year": "2020", | |
"ee": "https://arxiv.org/abs/2010.09073" | |
}, | |
"conf/sac/RigonTV20": { | |
"key": "conf/sac/RigonTV20", | |
"mdate": "2020-06-15", | |
"authors": "Leonardo Filipe Rigon, Paulo Torrens, and Cristiano D. Vasconcellos", | |
"title": "Inferring types and effects via static single assignment", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3341105.3373888" | |
}, | |
"conf/lics/KatsumataRU20": { | |
"key": "conf/lics/KatsumataRU20", | |
"mdate": "2023-03-21", | |
"authors": "Shin-ya Katsumata, Exequiel Rivas, and Tarmo Uustalu", | |
"title": "Interaction Laws of Monads and Comonads", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3373718.3394808" | |
}, | |
"journals/mics/EkiciK20": { | |
"key": "journals/mics/EkiciK20", | |
"mdate": "2022-06-23", | |
"authors": "Burak Ekici and Cezary Kaliszyk", | |
"title": "Mac Lane's Comparison Theorem for the Kleisli Construction Formalized in Coq", | |
"year": "2020", | |
"ee": "https://doi.org/10.1007/s11786-020-00450-8" | |
}, | |
"journals/pacmpl/MadsenP20": { | |
"key": "journals/pacmpl/MadsenP20", | |
"mdate": "2021-02-17", | |
"authors": "Magnus Madsen and Jaco van de Pol", | |
"title": "Polymorphic types and effects with Boolean unification", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3428222" | |
}, | |
"conf/lics/KoenigS20": { | |
"key": "conf/lics/KoenigS20", | |
"mdate": "2022-04-09", | |
"authors": "Jérémie Koenig and Zhong Shao", | |
"title": "Refinement-Based Game Semantics for Certified Abstraction Layers", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3373718.3394799" | |
}, | |
"journals/pacmpl/MaillardHRM20": { | |
"key": "journals/pacmpl/MaillardHRM20", | |
"mdate": "2024-02-05", | |
"authors": "Kenji Maillard, Catalin Hritcu, Exequiel Rivas, and Antoine Van Muylder", | |
"title": "The next 700 relational program logics", | |
"year": "2020", | |
"ee": "https://doi.org/10.1145/3371072" | |
}, | |
"books/sp/22/Brachthauser22": { | |
"key": "books/sp/22/Brachthauser22", | |
"mdate": "2024-05-07", | |
"authors": "Jonathan Immanuel Brachthäuser", | |
"title": "What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style", | |
"year": "2020", | |
"ee": "https://doi.org/10.1007/978-3-030-83128-8_3" | |
}, | |
"journals/jolli/BernardyCM21": { | |
"key": "journals/jolli/BernardyCM21", | |
"mdate": "2021-05-14", | |
"authors": "Jean-Philippe Bernardy, Stergios Chatzikyriakidis, and Aleksandre Maskharashvili", | |
"title": "A Computational Treatment of Anaphora and Its Algorithmic Implementation", | |
"year": "2021", | |
"ee": "https://doi.org/10.1007/s10849-020-09322-7" | |
}, | |
"conf/sfp/FrolichB21": { | |
"key": "conf/sfp/FrolichB21", | |
"mdate": "2023-09-30", | |
"authors": "Damian Frölich and L. Thomas van Binsbergen", | |
"title": "A Generic Back-End for Exploratory Programming", | |
"year": "2021", | |
"ee": "https://doi.org/10.1007/978-3-030-83978-9_2" | |
}, | |
"conf/isola/Wadler21": { | |
"key": "conf/isola/Wadler21", | |
"mdate": "2021-10-14", | |
"authors": "Philip Wadler", | |
"title": "GATE: Gradual Effect Types", | |
"year": "2021", | |
"ee": "https://doi.org/10.1007/978-3-030-89159-6_21" | |
}, | |
"journals/pacmpl/HirschC21": { | |
"key": "journals/pacmpl/HirschC21", | |
"mdate": "2022-01-03", | |
"authors": "Andrew K. Hirsch and Ethan Cecchetti", | |
"title": "Giving semantics to program-counter labels via secure effects", | |
"year": "2021", | |
"ee": "https://doi.org/10.1145/3434316" | |
}, | |
"journals/corr/abs-2211-01841": { | |
"key": "journals/corr/abs-2211-01841", | |
"mdate": "2022-12-05", | |
"authors": "Jérémie Koenig", | |
"title": "Grounding Game Semantics in Categorical Algebra", | |
"year": "2021", | |
"ee": "https://doi.org/10.4204/EPTCS.372.26" | |
}, | |
"journals/corr/abs-2112-14057": { | |
"key": "journals/corr/abs-2112-14057", | |
"mdate": "2022-12-07", | |
"authors": "Niccolò Veltri and Niels F. W. Voorneveld", | |
"title": "Inductive and Coinductive Predicate Liftings for Effectful Programs", | |
"year": "2021", | |
"ee": "https://doi.org/10.4204/EPTCS.351.16" | |
}, | |
"journals/tcs/MarsikAG21": { | |
"key": "journals/tcs/MarsikAG21", | |
"mdate": "2021-05-16", | |
"authors": "Jirka Marsík, Maxime Amblard, and Philippe de Groote", | |
"title": "Introducing ⦇", | |
"year": "2021", | |
"ee": "https://doi.org/10.1016/j.tcs.2021.02.038" | |
}, | |
"conf/pldi/ReinkingXML21": { | |
"key": "conf/pldi/ReinkingXML21", | |
"mdate": "2022-09-29", | |
"authors": "Alex Reinking, Ningning Xie, Leonardo de Moura, and Daan Leijen", | |
"title": "Perceus: garbage free reference counting with reuse", | |
"year": "2021", | |
"ee": "https://doi.org/10.1145/3453483.3454032" | |
}, | |
"journals/pacmpl/BaoWBJHR21": { | |
"key": "journals/pacmpl/BaoWBJHR21", | |
"mdate": "2024-05-07", | |
"authors": "Yuyan Bao, Guannan Wei, Oliver Bracevac, Yuxuan Jiang, Qiyang He, and Tiark Rompf", | |
"title": "Reachability types: tracking aliasing and separation in higher-order functional programs", | |
"year": "2021", | |
"ee": "https://doi.org/10.1145/3485516" | |
}, | |
"conf/ppdp/BiernackiPS21": { | |
"key": "conf/ppdp/BiernackiPS21", | |
"mdate": "2023-06-26", | |
"authors": "Dariusz Biernacki, Mateusz Pyzik, and Filip Sieczkowski", | |
"title": "Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory", | |
"year": "2021", | |
"ee": "https://doi.org/10.1145/3479394.3479399" | |
}, | |
"conf/csfw/AbateHRMWHMS21": { | |
"key": "conf/csfw/AbateHRMWHMS21", | |
"mdate": "2023-03-21", | |
"authors": "Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, and Bas Spitters", | |
"title": "SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq", | |
"year": "2021", | |
"ee": "https://doi.org/10.1109/CSF51468.2021.00048" | |
}, | |
"conf/lics/AbadiP21": { | |
"key": "conf/lics/AbadiP21", | |
"mdate": "2021-07-09", | |
"authors": "Martín Abadi and Gordon D. Plotkin", | |
"title": "Smart Choices and the Selection Monad", | |
"year": "2021", | |
"ee": "https://doi.org/10.1109/LICS52264.2021.9470641" | |
}, | |
"journals/lmcs/SterlingAG22": { | |
"key": "journals/lmcs/SterlingAG22", | |
"mdate": "2023-01-24", | |
"authors": "Jonathan Sterling, Carlo Angiuli, and Daniel Gratzer", | |
"title": "A Cubical Language for Bishop Sets", | |
"year": "2022", | |
"ee": "https://doi.org/10.46298/lmcs-18(1:43)2022" | |
}, | |
"journals/lmcs/CongIHA22": { | |
"key": "journals/lmcs/CongIHA22", | |
"mdate": "2023-01-24", | |
"authors": "Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai", | |
"title": "A Functional Abstraction of Typed Invocation Contexts", | |
"year": "2022", | |
"ee": "https://doi.org/10.46298/lmcs-18(3:34)2022" | |
}, | |
"conf/flops/BergS22": { | |
"key": "conf/flops/BergS22", | |
"mdate": "2022-05-18", | |
"authors": "Birthe van den Berg and Tom Schrijvers", | |
"title": "A Functional Account of Probabilistic Programming with Possible Worlds - Declarative Pearl", | |
"year": "2022", | |
"ee": "https://doi.org/10.1007/978-3-030-99461-7_11" | |
}, | |
"journals/toplas/MelicherXZPA22": { | |
"key": "journals/toplas/MelicherXZPA22", | |
"mdate": "2022-04-09", | |
"authors": "Darya Melicher, Anlun Xu, Valerie Zhao, Alex Potanin, and Jonathan Aldrich", | |
"title": "Bounded Abstract Effects", | |
"year": "2022", | |
"ee": "https://doi.org/10.1145/3492427" | |
}, | |
"conf/itp/ZhanLWZHYX22": { | |
"key": "conf/itp/ZhanLWZHYX22", | |
"mdate": "2022-08-04", | |
"authors": "Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, and Bican Xia", | |
"title": "Compositional Verification of Interacting Systems Using Event Monads", | |
"year": "2022", | |
"ee": "https://doi.org/10.4230/LIPIcs.ITP.2022.33" | |
}, | |
"journals/pacmpl/YoonZZ22": { | |
"key": "journals/pacmpl/YoonZZ22", | |
"mdate": "2023-08-28", | |
"authors": "Irene Yoon, Yannick Zakowski, and Steve Zdancewic", | |
"title": "Formal reasoning about layered monadic interpreters", | |
"year": "2022", | |
"ee": "https://doi.org/10.1145/3547630" | |
}, | |
"conf/csl/BaillonMP22": { | |
"key": "conf/csl/BaillonMP22", | |
"mdate": "2022-01-27", | |
"authors": "Martin Baillon, Assia Mahboubi, and Pierre-Marie Pédrot", | |
"title": "Gardening with the Pythia A Model of Continuity in a Dependent Setting", | |
"year": "2022", | |
"ee": "https://doi.org/10.4230/LIPIcs.CSL.2022.5" | |
}, | |
"journals/corr/abs-2203-03288": { | |
"key": "journals/corr/abs-2203-03288", | |
"mdate": "2023-03-22", | |
"authors": "Cas van der Rest, Jaro S. Reinders, and Casper Bach Poulsen", | |
"title": "Handling Higher-Order Effects", | |
"year": "2022", | |
"ee": "https://doi.org/10.48550/arXiv.2203.03288" | |
}, | |
"journals/pacmpl/ValeMSKS22": { | |
"key": "journals/pacmpl/ValeMSKS22", | |
"mdate": "2022-12-05", | |
"authors": "Arthur Oliveira Vale, Paul-André Melliès, Zhong Shao, Jérémie Koenig, and Léo Stefanesco", | |
"title": "Layered and object-based game semantics", | |
"year": "2022", | |
"ee": "https://doi.org/10.1145/3498703" | |
}, | |
"conf/csl/ConstantinDH22": { | |
"key": "conf/csl/ConstantinDH22", | |
"mdate": "2024-07-05", | |
"authors": "Carmen M. Constantin, Nuiok Dicaire, and Chris Heunen", | |
"title": "Localisable Monads", | |
"year": "2022", | |
"ee": "https://doi.org/10.4230/LIPIcs.CSL.2022.15" | |
}, | |
"journals/corr/abs-2203-15426": { | |
"key": "journals/corr/abs-2203-15426", | |
"mdate": "2022-04-04", | |
"authors": "Ugo Dal Lago, Francesco Gavazzo, and Alexis Ghyselen", | |
"title": "On Reinforcement Learning, Effect Handlers, and the State Monad", | |
"year": "2022", | |
"ee": "https://doi.org/10.48550/arXiv.2203.15426" | |
}, | |
"journals/pacmpl/LorenzenL22": { | |
"key": "journals/pacmpl/LorenzenL22", | |
"mdate": "2023-08-28", | |
"authors": "Anton Lorenzen and Daan Leijen", | |
"title": "Reference counting with frame limited reuse", | |
"year": "2022", | |
"ee": "https://doi.org/10.1145/3547634" | |
}, | |
"conf/ictac/Voorneveld22": { | |
"key": "conf/ictac/Voorneveld22", | |
"mdate": "2022-10-18", | |
"authors": "Niels F. W. Voorneveld", | |
"title": "Runners for Interleaving Algebraic Effects", | |
"year": "2022", | |
"ee": "https://doi.org/10.1007/978-3-031-17715-6_26" | |
}, | |
"conf/sfp/IkemoriCML22": { | |
"key": "conf/sfp/IkemoriCML22", | |
"mdate": "2023-01-09", | |
"authors": "Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, and Daan Leijen", | |
"title": "Sound and Complete Type Inference for Closed Effect Rows", | |
"year": "2022", | |
"ee": "https://doi.org/10.1007/978-3-031-21314-4_8" | |
}, | |
"conf/mpc/VeltriV22": { | |
"key": "conf/mpc/VeltriV22", | |
"mdate": "2022-12-05", | |
"authors": "Niccolò Veltri and Niels F. W. Voorneveld", | |
"title": "Streams of Approximations, Equivalence of Recursive Effectful Programs", | |
"year": "2022", | |
"ee": "https://doi.org/10.1007/978-3-031-16912-0_8" | |
}, | |
"conf/sfp/FurudonoCML22": { | |
"key": "conf/sfp/FurudonoCML22", | |
"mdate": "2023-01-09", | |
"authors": "Naoya Furudono, Youyou Cong, Hidehiko Masuhara, and Daan Leijen", | |
"title": "Towards Efficient Adjustment of Effect Rows", | |
"year": "2022", | |
"ee": "https://doi.org/10.1007/978-3-031-21314-4_9" | |
}, | |
"conf/sfp/RestP22": { | |
"key": "conf/sfp/RestP22", | |
"mdate": "2023-01-09", | |
"authors": "Cas van der Rest and Casper Bach Poulsen", | |
"title": "Towards a Language for Defining Reusable Programming Language Components - (Project Paper)", | |
"year": "2022", | |
"ee": "https://doi.org/10.1007/978-3-031-21314-4_2" | |
}, | |
"conf/sfp/CongA22": { | |
"key": "conf/sfp/CongA22", | |
"mdate": "2023-01-15", | |
"authors": "Youyou Cong and Kenichi Asai", | |
"title": "Understanding Algebraic Effect Handlers via Delimited Control Operators", | |
"year": "2022", | |
"ee": "https://doi.org/10.1007/978-3-031-21314-4_4" | |
}, | |
"journals/corr/abs-2304-09697": { | |
"key": "journals/corr/abs-2304-09697", | |
"mdate": "2024-02-05", | |
"authors": "Roger Bosman, Birthe van den Berg, Wenhao Tang, and Tom Schrijvers", | |
"title": "A Calculus for Scoped Effects & Handlers", | |
"year": "2023", | |
"ee": "https://doi.org/10.48550/arXiv.2304.09697" | |
}, | |
"conf/esop/VilhenaP23": { | |
"key": "conf/esop/VilhenaP23", | |
"mdate": "2023-05-13", | |
"authors": "Paulo Emílio de Vilhena and François Pottier", | |
"title": "A Type System for Effect Handlers and Dynamic Labels", | |
"year": "2023", | |
"ee": "https://doi.org/10.1007/978-3-031-30044-8_9" | |
}, | |
"journals/logcom/AbeK23": { | |
"key": "journals/logcom/AbeK23", | |
"mdate": "2024-02-05", | |
"authors": "Tatsuya Abe and Daisuke Kimura", | |
"title": "A typed lambda-calculus with first-class configurations", | |
"year": "2023", | |
"ee": "https://doi.org/10.1093/logcom/exac062" | |
}, | |
"conf/esop/MuraseNI23": { | |
"key": "conf/esop/MuraseNI23", | |
"mdate": "2023-05-13", | |
"authors": "Yuito Murase, Yuichi Nishiwaki, and Atsushi Igarashi", | |
"title": "Contextual Modal Type Theory with Polymorphic Contexts", | |
"year": "2023", | |
"ee": "https://doi.org/10.1007/978-3-031-30044-8_11" | |
}, | |
"conf/haskell/NguyenPWR23": { | |
"key": "conf/haskell/NguyenPWR23", | |
"mdate": "2024-05-28", | |
"authors": "Minh Nguyen, Roly Perera, Meng Wang, and Steven Ramsay", | |
"title": "Effect Handlers for Programmable Inference", | |
"year": "2023", | |
"ee": "https://doi.org/10.1145/3609026.3609729" | |
}, | |
"journals/corr/abs-2303-01328": { | |
"key": "journals/corr/abs-2303-01328", | |
"mdate": "2024-08-01", | |
"authors": "Minh Nguyen, Roly Perera, Meng Wang, and Steven Ramsay", | |
"title": "Effects and Effect Handlers for Programmable Inference", | |
"year": "2023", | |
"ee": "https://doi.org/10.48550/arXiv.2303.01328" | |
}, | |
"conf/heart/TahirLW23": { | |
"key": "conf/heart/TahirLW23", | |
"mdate": "2023-08-05", | |
"authors": "Omar Tahir, Wayne Luk, and Nicolas Wu", | |
"title": "Extensible Embedded Hardware Description Languages with Compilation, Simulation and Verification", | |
"year": "2023", | |
"ee": "https://doi.org/10.1145/3597031.3597051" | |
}, | |
"journals/pacmpl/HubersM23": { | |
"key": "journals/pacmpl/HubersM23", | |
"mdate": "2023-12-17", | |
"authors": "Alex Hubers and J. Garrett Morris", | |
"title": "Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc", | |
"year": "2023", | |
"ee": "https://doi.org/10.1145/3607843" | |
}, | |
"journals/corr/abs-2307-13795": { | |
"key": "journals/corr/abs-2307-13795", | |
"mdate": "2023-08-02", | |
"authors": "Danel Ahman and Matija Pretnar", | |
"title": "Higher-Order Asynchronous Effects", | |
"year": "2023", | |
"ee": "https://doi.org/10.48550/arXiv.2307.13795" | |
}, | |
"conf/lics/Winskel23": { | |
"key": "conf/lics/Winskel23", | |
"mdate": "2024-05-29", | |
"authors": "Glynn Winskel", | |
"title": "Making Concurrency Functional", | |
"year": "2023", | |
"ee": "https://doi.org/10.1109/LICS56636.2023.10175727" | |
}, | |
"conf/esop/DerakhshanDSJ23": { | |
"key": "conf/esop/DerakhshanDSJ23", | |
"mdate": "2024-08-04", | |
"authors": "Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, and Limin Jia", | |
"title": "Modal Crash Types for Intermittent Computing", | |
"year": "2023", | |
"ee": "https://doi.org/10.1007/978-3-031-30044-8_7" | |
}, | |
"journals/pacmpl/YangW23": { | |
"key": "journals/pacmpl/YangW23", | |
"mdate": "2023-12-17", | |
"authors": "Zhixuan Yang and Nicolas Wu", | |
"title": "Modular Models of Monoids with Operations", | |
"year": "2023", | |
"ee": "https://doi.org/10.1145/3607850" | |
}, | |
"conf/ecoop/MadsenP23": { | |
"key": "conf/ecoop/MadsenP23", | |
"mdate": "2023-07-11", | |
"authors": "Magnus Madsen and Jaco van de Pol", | |
"title": "Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism", | |
"year": "2023", | |
"ee": "https://doi.org/10.4230/LIPIcs.ECOOP.2023.18" | |
}, | |
"journals/toplas/HaselwarterRMWASHMS23": { | |
"key": "journals/toplas/HaselwarterRMWASHMS23", | |
"mdate": "2023-11-09", | |
"authors": "Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, and Bas Spitters", | |
"title": "SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq", | |
"year": "2023", | |
"ee": "https://doi.org/10.1145/3594735" | |
}, | |
"journals/corr/abs-2303-01350": { | |
"key": "journals/corr/abs-2303-01350", | |
"mdate": "2023-03-06", | |
"authors": "Cezar-Constantin Andrici, Catalin Hritcu, Guido Martínez, Exequiel Rivas, and Théo Winterhalter", | |
"title": "Securely Compiling Verified F* Programs With IO", | |
"year": "2023", | |
"ee": "https://doi.org/10.48550/arXiv.2303.01350" | |
}, | |
"journals/darts/SilverHCHZ23": { | |
"key": "journals/darts/SilverHCHZ23", | |
"mdate": "2023-07-11", | |
"authors": "Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, and Steve Zdancewic", | |
"title": "Semantics for Noninterference with Interaction Trees (Artifact)", | |
"year": "2023", | |
"ee": "https://doi.org/10.4230/DARTS.9.2.6" | |
}, | |
"journals/pacmpl/LeijenL23": { | |
"key": "journals/pacmpl/LeijenL23", | |
"mdate": "2023-02-10", | |
"authors": "Daan Leijen and Anton Lorenzen", | |
"title": "Tail Recursion Modulo Context: An Equational Approach", | |
"year": "2023", | |
"ee": "https://doi.org/10.1145/3571233" | |
}, | |
"journals/pacmpl/SekiyamaU23": { | |
"key": "journals/pacmpl/SekiyamaU23", | |
"mdate": "2023-02-10", | |
"authors": "Taro Sekiyama and Hiroshi Unno", | |
"title": "Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations", | |
"year": "2023", | |
"ee": "https://doi.org/10.1145/3571264" | |
}, | |
"conf/icsca/Nishizaki23": { | |
"key": "conf/icsca/Nishizaki23", | |
"mdate": "2023-10-27", | |
"authors": "Shin-ya Nishizaki", | |
"title": "Transplanting of Environments between Closures in the lambda calculus", | |
"year": "2023", | |
"ee": "https://doi.org/10.1145/3587828.3587847" | |
}, | |
"journals/lmcs/VilhenaP23": { | |
"key": "journals/lmcs/VilhenaP23", | |
"mdate": "2023-10-26", | |
"authors": "Paulo Emílio de Vilhena and François Pottier", | |
"title": "Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library", | |
"year": "2023", | |
"ee": "https://doi.org/10.46298/lmcs-19(4:5)2023" | |
}, | |
"conf/fossacs/Ahman23": { | |
"key": "conf/fossacs/Ahman23", | |
"mdate": "2023-05-13", | |
"authors": "Danel Ahman", | |
"title": "When Programs Have to Watch Paint Dry", | |
"year": "2023", | |
"ee": "https://doi.org/10.1007/978-3-031-30829-1_1" | |
}, | |
"journals/pacmpl/KidneyYW24": { | |
"key": "journals/pacmpl/KidneyYW24", | |
"mdate": "2024-02-05", | |
"authors": "Donnacha Oisín Kidney, Zhixuan Yang, and Nicolas Wu", | |
"title": "Algebraic Effects Meet Hoare Logic in Cubical Agda", | |
"year": "2024", | |
"ee": "https://doi.org/10.1145/3632898" | |
}, | |
"conf/cefp/2013": { | |
"key": "conf/cefp/2013", | |
"mdate": "2022-10-02", | |
"authors": null, | |
"title": "Central European Functional Programming School - 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers", | |
"year": "2015", | |
"ee": "https://doi.org/10.1007/978-3-319-15940-9" | |
}, | |
"conf/esop/2019": { | |
"key": "conf/esop/2019", | |
"mdate": "2020-01-31", | |
"authors": null, | |
"title": "Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings", | |
"year": "2019", | |
"ee": "https://doi.org/10.1007/978-3-030-17184-1" | |
}, | |
"conf/sfp/2020": { | |
"key": "conf/sfp/2020", | |
"mdate": "2022-03-02", | |
"authors": null, | |
"title": "Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers", | |
"year": "2020", | |
"ee": "https://doi.org/10.1007/978-3-030-57761-2" | |
}, | |
"journals/pacmpl/KawamataUST24": { | |
"key": "journals/pacmpl/KawamataUST24", | |
"mdate": "2024-02-10", | |
"authors": "Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, and Tachio Terauchi", | |
"title": "Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers", | |
"year": "2024", | |
"ee": "https://doi.org/10.1145/3633280" | |
}, | |
"journals/tplp/VandenbrouckeS24": { | |
"key": "journals/tplp/VandenbrouckeS24", | |
"mdate": "2024-03-16", | |
"authors": "Alexander Vandenbroucke and Tom Schrijvers", | |
"title": "Disjunctive Delimited Control", | |
"year": "2024", | |
"ee": "https://doi.org/10.1017/s1471068423000029" | |
}, | |
"journals/pacmpl/SmedingV24": { | |
"key": "journals/pacmpl/SmedingV24", | |
"mdate": "2024-02-10", | |
"authors": "Tom Smeding and Matthijs Vákár", | |
"title": "Efficient CHAD", | |
"year": "2024", | |
"ee": "https://doi.org/10.1145/3632878" | |
}, | |
"journals/pacmpl/Elsman24": { | |
"key": "journals/pacmpl/Elsman24", | |
"mdate": "2024-02-10", | |
"authors": "Martin Elsman", | |
"title": "Explicit Effects and Effect Constraints in ReML", | |
"year": "2024", | |
"ee": "https://doi.org/10.1145/3632921" | |
}, | |
"journals/pacmpl/FruminTB24": { | |
"key": "journals/pacmpl/FruminTB24", | |
"mdate": "2024-02-10", | |
"authors": "Dan Frumin, Amin Timany, and Lars Birkedal", | |
"title": "Modular Denotational Semantics for Effects with Guarded Interaction Trees", | |
"year": "2024", | |
"ee": "https://doi.org/10.1145/3632854" | |
}, | |
"journals/pacmpl/AndriciCHMRTW24": { | |
"key": "journals/pacmpl/AndriciCHMRTW24", | |
"mdate": "2024-02-29", | |
"authors": "Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, and Théo Winterhalter", | |
"title": "Securing Verified IO Programs Against Unverified Code in F", | |
"year": "2024", | |
"ee": "https://doi.org/10.1145/3632916" | |
} | |
} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment