| |
Bazerman, Gershom
|
Haskell '22: "A Totally Predictable Outcome: ..."
A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures
Gershom Bazerman
(Arista Networks, USA)
@InProceedings{Haskell22p46,
author = {Gershom Bazerman},
title = {A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {46-45},
doi = {10.1145/3546189.3549915},
year = {2022},
}
 Publisher's Version
Article: icfpws22haskellmain-p11-p doi:10.1145/3546189.3549915
|
| |
Blanchette, Henry |
Haskell '22: "Liquid Proof Macros ..."
Liquid Proof Macros
Henry Blanchette, Niki Vazou, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; IMDEA Software Institute, Spain)
@InProceedings{Haskell22p31,
author = {Henry Blanchette and Niki Vazou and Leonidas Lampropoulos},
title = {Liquid Proof Macros},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3546189.3549921},
year = {2022},
}
Publisher's Version
 Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p57-p doi:10.1145/3546189.3549921
|
| |
Cavalheiro, Gerson Geraldo Homrich
|
Haskell '22: "Open Transactional Actions: ..."
Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell
Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, and Rodrigo Geraldo Ribeiro
(Federal University of Pelotas, Brazil; Federal University of Fronteira Sul, Brazil; Federal University of Ouro Preto, Brazil)
@InProceedings{Haskell22p61,
author = {Jonathas Augusto de Oliveira Conceição and André Rauber Du Bois and Samuel da Silva Feitosa and Gerson Geraldo Homrich Cavalheiro and Rodrigo Geraldo Ribeiro},
title = {Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3546189.3549924},
year = {2022},
}
Publisher's Version
Article: icfpws22haskellmain-p89-p doi:10.1145/3546189.3549924
|
| |
Chapman, James |
Haskell '22: "Reasonable Agda Is Correct ..."
Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs
Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, and Ulf Norell
(Delft University of Technology, Netherlands; University of Edinburgh, UK; Input Output, UK; University of Gothenburg, Sweden)
@InProceedings{Haskell22p121,
author = {Jesper Cockx and Orestis Melkonian and Lucas Escot and James Chapman and Ulf Norell},
title = {Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3546189.3549920},
year = {2022},
}
Publisher's Version
Article: icfpws22haskellmain-p50-p doi:10.1145/3546189.3549920
|
| |
Cockx, Jesper |
Haskell '22: "Reasonable Agda Is Correct ..."
Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs
Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, and Ulf Norell
(Delft University of Technology, Netherlands; University of Edinburgh, UK; Input Output, UK; University of Gothenburg, Sweden)
@InProceedings{Haskell22p121,
author = {Jesper Cockx and Orestis Melkonian and Lucas Escot and James Chapman and Ulf Norell},
title = {Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3546189.3549920},
year = {2022},
}
Publisher's Version
Article: icfpws22haskellmain-p50-p doi:10.1145/3546189.3549920
|
| |
Conceição, Jonathas Augusto de Oliveira |
Haskell '22: "Open Transactional Actions: ..."
Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell
Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, and Rodrigo Geraldo Ribeiro
(Federal University of Pelotas, Brazil; Federal University of Fronteira Sul, Brazil; Federal University of Ouro Preto, Brazil)
@InProceedings{Haskell22p61,
author = {Jonathas Augusto de Oliveira Conceição and André Rauber Du Bois and Samuel da Silva Feitosa and Gerson Geraldo Homrich Cavalheiro and Rodrigo Geraldo Ribeiro},
title = {Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3546189.3549924},
year = {2022},
}
Publisher's Version
Article: icfpws22haskellmain-p89-p doi:10.1145/3546189.3549924
|
| |
Du Bois, André Rauber
|
Haskell '22: "Open Transactional Actions: ..."
Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell
Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, and Rodrigo Geraldo Ribeiro
(Federal University of Pelotas, Brazil; Federal University of Fronteira Sul, Brazil; Federal University of Ouro Preto, Brazil)
@InProceedings{Haskell22p61,
author = {Jonathas Augusto de Oliveira Conceição and André Rauber Du Bois and Samuel da Silva Feitosa and Gerson Geraldo Homrich Cavalheiro and Rodrigo Geraldo Ribeiro},
title = {Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3546189.3549924},
year = {2022},
}
Publisher's Version
Article: icfpws22haskellmain-p89-p doi:10.1145/3546189.3549924
|
| |
Escot, Lucas
|
Haskell '22: "Reasonable Agda Is Correct ..."
Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs
Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, and Ulf Norell
(Delft University of Technology, Netherlands; University of Edinburgh, UK; Input Output, UK; University of Gothenburg, Sweden)
@InProceedings{Haskell22p121,
author = {Jesper Cockx and Orestis Melkonian and Lucas Escot and James Chapman and Ulf Norell},
title = {Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3546189.3549920},
year = {2022},
}
Publisher's Version
Article: icfpws22haskellmain-p50-p doi:10.1145/3546189.3549920
|
| |
Feitosa, Samuel da Silva
|
Haskell '22: "Open Transactional Actions: ..."
Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell
Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, and Rodrigo Geraldo Ribeiro
(Federal University of Pelotas, Brazil; Federal University of Fronteira Sul, Brazil; Federal University of Ouro Preto, Brazil)
@InProceedings{Haskell22p61,
author = {Jonathas Augusto de Oliveira Conceição and André Rauber Du Bois and Samuel da Silva Feitosa and Gerson Geraldo Homrich Cavalheiro and Rodrigo Geraldo Ribeiro},
title = {Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3546189.3549924},
year = {2022},
}
Publisher's Version
Article: icfpws22haskellmain-p89-p doi:10.1145/3546189.3549924
|
| |
Greenberg, Michael
|
Haskell '22: "How to Safely Use Extensionality ..."
How to Safely Use Extensionality in Liquid Haskell
Niki Vazou and Michael Greenberg
(IMDEA Software Institute, Spain; Stevens Institute of Technology, USA)
@InProceedings{Haskell22p16,
author = {Niki Vazou and Michael Greenberg},
title = {How to Safely Use Extensionality in Liquid Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3546189.3549919},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p40-p doi:10.1145/3546189.3549919
|
| |
Hollenbeck, Celeste
|
Haskell '22: "Investigating Magic Numbers: ..."
Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler
Celeste Hollenbeck, Michael F. P. O'Boyle, and Michel Steuwer
(University of Edinburgh, UK)
@InProceedings{Haskell22p91,
author = {Celeste Hollenbeck and Michael F. P. O'Boyle and Michel Steuwer},
title = {Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3546189.3549918},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p34-p doi:10.1145/3546189.3549918
|
| |
Hubers, Alex |
Haskell '22: "Partial Type Constructors ..."
Partial Type Constructors in Practice
Apoorv Ingle, Alex Hubers, and J. Garrett Morris
(University of Iowa, USA)
@InProceedings{Haskell22p106,
author = {Apoorv Ingle and Alex Hubers and J. Garrett Morris},
title = {Partial Type Constructors in Practice},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {106-105},
doi = {10.1145/3546189.3549923},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p81-p doi:10.1145/3546189.3549923
|
| |
Ingle, Apoorv
|
Haskell '22: "Partial Type Constructors ..."
Partial Type Constructors in Practice
Apoorv Ingle, Alex Hubers, and J. Garrett Morris
(University of Iowa, USA)
@InProceedings{Haskell22p106,
author = {Apoorv Ingle and Alex Hubers and J. Garrett Morris},
title = {Partial Type Constructors in Practice},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {106-105},
doi = {10.1145/3546189.3549923},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p81-p doi:10.1145/3546189.3549923
|
| |
Keller, Gabriele
|
Haskell '22: "Embedded Pattern Matching ..."
Embedded Pattern Matching
Trevor L. McDonell, Joshua D. Meredith, and Gabriele Keller
(Utrecht University, Netherlands; IOG, Australia)
@InProceedings{Haskell22p136,
author = {Trevor L. McDonell and Joshua D. Meredith and Gabriele Keller},
title = {Embedded Pattern Matching},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {136-135},
doi = {10.1145/3546189.3549917},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p33-p doi:10.1145/3546189.3549917
|
| |
Lampropoulos, Leonidas
|
Haskell '22: "Liquid Proof Macros ..."
Liquid Proof Macros
Henry Blanchette, Niki Vazou, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; IMDEA Software Institute, Spain)
@InProceedings{Haskell22p31,
author = {Henry Blanchette and Niki Vazou and Leonidas Lampropoulos},
title = {Liquid Proof Macros},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3546189.3549921},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p57-p doi:10.1145/3546189.3549921
|
| |
Mastorou, Lykourgos
|
Haskell '22: "Coinduction Inductively: Mechanizing ..."
Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell
Lykourgos Mastorou, Nikolaos Papaspyrou, and Niki Vazou
(National Technical University of Athens, Greece; IMDEA Software Institute, Spain; Google, Germany)
@InProceedings{Haskell22p1,
author = {Lykourgos Mastorou and Nikolaos Papaspyrou and Niki Vazou},
title = {Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3546189.3549922},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p76-p doi:10.1145/3546189.3549922
|
| |
McDonell, Trevor L. |
Haskell '22: "Embedded Pattern Matching ..."
Embedded Pattern Matching
Trevor L. McDonell, Joshua D. Meredith, and Gabriele Keller
(Utrecht University, Netherlands; IOG, Australia)
@InProceedings{Haskell22p136,
author = {Trevor L. McDonell and Joshua D. Meredith and Gabriele Keller},
title = {Embedded Pattern Matching},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {136-135},
doi = {10.1145/3546189.3549917},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p33-p doi:10.1145/3546189.3549917
|
| |
Melkonian, Orestis |
Haskell '22: "Reasonable Agda Is Correct ..."
Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs
Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, and Ulf Norell
(Delft University of Technology, Netherlands; University of Edinburgh, UK; Input Output, UK; University of Gothenburg, Sweden)
@InProceedings{Haskell22p121,
author = {Jesper Cockx and Orestis Melkonian and Lucas Escot and James Chapman and Ulf Norell},
title = {Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3546189.3549920},
year = {2022},
}
Publisher's Version
Article: icfpws22haskellmain-p50-p doi:10.1145/3546189.3549920
|
| |
Meredith, Joshua D. |
Haskell '22: "Embedded Pattern Matching ..."
Embedded Pattern Matching
Trevor L. McDonell, Joshua D. Meredith, and Gabriele Keller
(Utrecht University, Netherlands; IOG, Australia)
@InProceedings{Haskell22p136,
author = {Trevor L. McDonell and Joshua D. Meredith and Gabriele Keller},
title = {Embedded Pattern Matching},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {136-135},
doi = {10.1145/3546189.3549917},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p33-p doi:10.1145/3546189.3549917
|
| |
Morris, J. Garrett |
Haskell '22: "Partial Type Constructors ..."
Partial Type Constructors in Practice
Apoorv Ingle, Alex Hubers, and J. Garrett Morris
(University of Iowa, USA)
@InProceedings{Haskell22p106,
author = {Apoorv Ingle and Alex Hubers and J. Garrett Morris},
title = {Partial Type Constructors in Practice},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {106-105},
doi = {10.1145/3546189.3549923},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p81-p doi:10.1145/3546189.3549923
|
| |
Norell, Ulf
|
Haskell '22: "Reasonable Agda Is Correct ..."
Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs
Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, and Ulf Norell
(Delft University of Technology, Netherlands; University of Edinburgh, UK; Input Output, UK; University of Gothenburg, Sweden)
@InProceedings{Haskell22p121,
author = {Jesper Cockx and Orestis Melkonian and Lucas Escot and James Chapman and Ulf Norell},
title = {Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3546189.3549920},
year = {2022},
}
Publisher's Version
Article: icfpws22haskellmain-p50-p doi:10.1145/3546189.3549920
|
| |
O'Boyle, Michael F. P.
|
Haskell '22: "Investigating Magic Numbers: ..."
Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler
Celeste Hollenbeck, Michael F. P. O'Boyle, and Michel Steuwer
(University of Edinburgh, UK)
@InProceedings{Haskell22p91,
author = {Celeste Hollenbeck and Michael F. P. O'Boyle and Michel Steuwer},
title = {Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3546189.3549918},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p34-p doi:10.1145/3546189.3549918
|
| |
Papaspyrou, Nikolaos
|
Haskell '22: "Coinduction Inductively: Mechanizing ..."
Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell
Lykourgos Mastorou, Nikolaos Papaspyrou, and Niki Vazou
(National Technical University of Athens, Greece; IMDEA Software Institute, Spain; Google, Germany)
@InProceedings{Haskell22p1,
author = {Lykourgos Mastorou and Nikolaos Papaspyrou and Niki Vazou},
title = {Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3546189.3549922},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p76-p doi:10.1145/3546189.3549922
|
| |
Ribeiro, Rodrigo Geraldo
|
Haskell '22: "Open Transactional Actions: ..."
Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell
Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, and Rodrigo Geraldo Ribeiro
(Federal University of Pelotas, Brazil; Federal University of Fronteira Sul, Brazil; Federal University of Ouro Preto, Brazil)
@InProceedings{Haskell22p61,
author = {Jonathas Augusto de Oliveira Conceição and André Rauber Du Bois and Samuel da Silva Feitosa and Gerson Geraldo Homrich Cavalheiro and Rodrigo Geraldo Ribeiro},
title = {Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3546189.3549924},
year = {2022},
}
Publisher's Version
Article: icfpws22haskellmain-p89-p doi:10.1145/3546189.3549924
|
| |
Schrijvers, Tom
|
Haskell '22: "Oregano: Staging Regular Expressions ..."
Oregano: Staging Regular Expressions with Moore Cayley Fusion
Jamie Willis, Nicolas Wu, and Tom Schrijvers
(Imperial College London, UK; KU Leuven, Belgium)
@InProceedings{Haskell22p76,
author = {Jamie Willis and Nicolas Wu and Tom Schrijvers},
title = {Oregano: Staging Regular Expressions with Moore Cayley Fusion},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3546189.3549916},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p17-p doi:10.1145/3546189.3549916
|
| |
Steuwer, Michel |
Haskell '22: "Investigating Magic Numbers: ..."
Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler
Celeste Hollenbeck, Michael F. P. O'Boyle, and Michel Steuwer
(University of Edinburgh, UK)
@InProceedings{Haskell22p91,
author = {Celeste Hollenbeck and Michael F. P. O'Boyle and Michel Steuwer},
title = {Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3546189.3549918},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p34-p doi:10.1145/3546189.3549918
|
| |
Vazou, Niki
|
Haskell '22: "How to Safely Use Extensionality ..."
How to Safely Use Extensionality in Liquid Haskell
Niki Vazou and Michael Greenberg
(IMDEA Software Institute, Spain; Stevens Institute of Technology, USA)
@InProceedings{Haskell22p16,
author = {Niki Vazou and Michael Greenberg},
title = {How to Safely Use Extensionality in Liquid Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3546189.3549919},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p40-p doi:10.1145/3546189.3549919
Haskell '22: "Coinduction Inductively: Mechanizing ..."
Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell
Lykourgos Mastorou, Nikolaos Papaspyrou, and Niki Vazou
(National Technical University of Athens, Greece; IMDEA Software Institute, Spain; Google, Germany)
@InProceedings{Haskell22p1,
author = {Lykourgos Mastorou and Nikolaos Papaspyrou and Niki Vazou},
title = {Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3546189.3549922},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p76-p doi:10.1145/3546189.3549922
Haskell '22: "Liquid Proof Macros ..."
Liquid Proof Macros
Henry Blanchette, Niki Vazou, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; IMDEA Software Institute, Spain)
@InProceedings{Haskell22p31,
author = {Henry Blanchette and Niki Vazou and Leonidas Lampropoulos},
title = {Liquid Proof Macros},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3546189.3549921},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p57-p doi:10.1145/3546189.3549921
|
| |
Willis, Jamie
|
Haskell '22: "Oregano: Staging Regular Expressions ..."
Oregano: Staging Regular Expressions with Moore Cayley Fusion
Jamie Willis, Nicolas Wu, and Tom Schrijvers
(Imperial College London, UK; KU Leuven, Belgium)
@InProceedings{Haskell22p76,
author = {Jamie Willis and Nicolas Wu and Tom Schrijvers},
title = {Oregano: Staging Regular Expressions with Moore Cayley Fusion},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3546189.3549916},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p17-p doi:10.1145/3546189.3549916
|
| |
Wu, Nicolas |
Haskell '22: "Oregano: Staging Regular Expressions ..."
Oregano: Staging Regular Expressions with Moore Cayley Fusion
Jamie Willis, Nicolas Wu, and Tom Schrijvers
(Imperial College London, UK; KU Leuven, Belgium)
@InProceedings{Haskell22p76,
author = {Jamie Willis and Nicolas Wu and Tom Schrijvers},
title = {Oregano: Staging Regular Expressions with Moore Cayley Fusion},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3546189.3549916},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws22haskellmain-p17-p doi:10.1145/3546189.3549916
|