| |
Claessen, Koen
|
Haskell '23: "HasTEE: Programming Trusted ..."
HasTEE: Programming Trusted Execution Environments with Haskell
Abhiroop Sarkar, Robert Krook, Alejandro Russo, and Koen Claessen
(Chalmers University of Technology, Sweden)
@InProceedings{Haskell23p120,
author = {Abhiroop Sarkar and Robert Krook and Alejandro Russo and Koen Claessen},
title = {HasTEE: Programming Trusted Execution Environments with Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {120-119},
doi = {10.1145/3609026.3609731},
year = {2023},
}
 Publisher's Version
 Published Artifact
Artifacts Available
Article: icfpws23haskellmain-id75-p doi:10.1145/3609026.3609731
|
| |
Dedden, Frank
|
Haskell '23: "The Essence of Reactivity ..."
The Essence of Reactivity
Ivan Perez and Frank Dedden
(KBR @ NASA Ames Research Center, USA; System F Computing, Netherlands)
@InProceedings{Haskell23p52,
author = {Ivan Perez and Frank Dedden},
title = {The Essence of Reactivity},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {52-51},
doi = {10.1145/3609026.3609727},
year = {2023},
}
Publisher's Version
Article: icfpws23haskellmain-id29-p doi:10.1145/3609026.3609727
|
| |
De Vries, Edsko |
Haskell '23: "falsify: Internal Shrinking ..."
falsify: Internal Shrinking Reimagined for Haskell
Edsko de Vries
(Well-Typed LLP, UK)
@InProceedings{Haskell23p154,
author = {Edsko de Vries},
title = {falsify: Internal Shrinking Reimagined for Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {154-153},
doi = {10.1145/3609026.3609733},
year = {2023},
}
Publisher's Version
Article: icfpws23haskellmain-id80-p doi:10.1145/3609026.3609733
|
| |
Elazar Mittelman, Segev
|
Haskell '23: "Don’t Go Down the Rabbit ..."
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; University of Pennsylvania, USA; KBR @ NASA Ames Research Center, USA; NASA Langley Research Center, USA)
@InProceedings{Haskell23p103,
author = {Segev Elazar Mittelman and Aviel Resnick and Ivan Perez and Alwyn E. Goodloe and Leonidas Lampropoulos},
title = {Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {103-102},
doi = {10.1145/3609026.3609730},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws23haskellmain-id64-p doi:10.1145/3609026.3609730
|
| |
Gale, Michael B.
|
Haskell '23: "This Is Driving Me Loopy: ..."
This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs
Finnbar Keating and Michael B. Gale
(University of Warwick, UK; GitHub, UK)
@InProceedings{Haskell23p35,
author = {Finnbar Keating and Michael B. Gale},
title = {This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3609026.3609726},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws23haskellmain-id21-p doi:10.1145/3609026.3609726
|
| |
Goodloe, Alwyn E. |
Haskell '23: "Don’t Go Down the Rabbit ..."
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; University of Pennsylvania, USA; KBR @ NASA Ames Research Center, USA; NASA Langley Research Center, USA)
@InProceedings{Haskell23p103,
author = {Segev Elazar Mittelman and Aviel Resnick and Ivan Perez and Alwyn E. Goodloe and Leonidas Lampropoulos},
title = {Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {103-102},
doi = {10.1145/3609026.3609730},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws23haskellmain-id64-p doi:10.1145/3609026.3609730
|
| |
Iwasaki, Hideya
|
Haskell '23: "Haskell Library for Safer ..."
Haskell Library for Safer Virtual Machine Introspection (Experience Report)
Takato Otsuka and Hideya Iwasaki
(University of Electro-Communications, Japan; Meiji University, Japan)
@InProceedings{Haskell23p137,
author = {Takato Otsuka and Hideya Iwasaki},
title = {Haskell Library for Safer Virtual Machine Introspection (Experience Report)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {137-136},
doi = {10.1145/3609026.3609732},
year = {2023},
}
Publisher's Version
Article: icfpws23haskellmain-id77-p doi:10.1145/3609026.3609732
|
| |
Keating, Finnbar
|
Haskell '23: "This Is Driving Me Loopy: ..."
This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs
Finnbar Keating and Michael B. Gale
(University of Warwick, UK; GitHub, UK)
@InProceedings{Haskell23p35,
author = {Finnbar Keating and Michael B. Gale},
title = {This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3609026.3609726},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws23haskellmain-id21-p doi:10.1145/3609026.3609726
|
| |
Krook, Robert |
Haskell '23: "HasTEE: Programming Trusted ..."
HasTEE: Programming Trusted Execution Environments with Haskell
Abhiroop Sarkar, Robert Krook, Alejandro Russo, and Koen Claessen
(Chalmers University of Technology, Sweden)
@InProceedings{Haskell23p120,
author = {Abhiroop Sarkar and Robert Krook and Alejandro Russo and Koen Claessen},
title = {HasTEE: Programming Trusted Execution Environments with Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {120-119},
doi = {10.1145/3609026.3609731},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws23haskellmain-id75-p doi:10.1145/3609026.3609731
|
| |
Kuper, Lindsey |
Haskell '23: "An Exceptional Actor System ..."
An Exceptional Actor System (Functional Pearl)
Patrick Redmond and Lindsey Kuper
(University of California at Santa Cruz, USA)
@InProceedings{Haskell23p69,
author = {Patrick Redmond and Lindsey Kuper},
title = {An Exceptional Actor System (Functional Pearl)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {69-68},
doi = {10.1145/3609026.3609728},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws23haskellmain-id51-p doi:10.1145/3609026.3609728
|
| |
Lampropoulos, Leonidas
|
Haskell '23: "Don’t Go Down the Rabbit ..."
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; University of Pennsylvania, USA; KBR @ NASA Ames Research Center, USA; NASA Langley Research Center, USA)
@InProceedings{Haskell23p103,
author = {Segev Elazar Mittelman and Aviel Resnick and Ivan Perez and Alwyn E. Goodloe and Leonidas Lampropoulos},
title = {Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {103-102},
doi = {10.1145/3609026.3609730},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws23haskellmain-id64-p doi:10.1145/3609026.3609730
|
| |
Nguyen, Minh
|
Haskell '23: "Effect Handlers for Programmable ..."
Effect Handlers for Programmable Inference
Minh Nguyen, Roly Perera, Meng Wang, and Steven Ramsay
(University of Bristol, UK)
@InProceedings{Haskell23p86,
author = {Minh Nguyen and Roly Perera and Meng Wang and Steven Ramsay},
title = {Effect Handlers for Programmable Inference},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {86-85},
doi = {10.1145/3609026.3609729},
year = {2023},
}
Publisher's Version
Article: icfpws23haskellmain-id59-p doi:10.1145/3609026.3609729
|
| |
Otsuka, Takato
|
Haskell '23: "Haskell Library for Safer ..."
Haskell Library for Safer Virtual Machine Introspection (Experience Report)
Takato Otsuka and Hideya Iwasaki
(University of Electro-Communications, Japan; Meiji University, Japan)
@InProceedings{Haskell23p137,
author = {Takato Otsuka and Hideya Iwasaki},
title = {Haskell Library for Safer Virtual Machine Introspection (Experience Report)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {137-136},
doi = {10.1145/3609026.3609732},
year = {2023},
}
Publisher's Version
Article: icfpws23haskellmain-id77-p doi:10.1145/3609026.3609732
|
| |
Perera, Roly
|
Haskell '23: "Effect Handlers for Programmable ..."
Effect Handlers for Programmable Inference
Minh Nguyen, Roly Perera, Meng Wang, and Steven Ramsay
(University of Bristol, UK)
@InProceedings{Haskell23p86,
author = {Minh Nguyen and Roly Perera and Meng Wang and Steven Ramsay},
title = {Effect Handlers for Programmable Inference},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {86-85},
doi = {10.1145/3609026.3609729},
year = {2023},
}
Publisher's Version
Article: icfpws23haskellmain-id59-p doi:10.1145/3609026.3609729
|
| |
Perez, Ivan |
Haskell '23: "Don’t Go Down the Rabbit ..."
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; University of Pennsylvania, USA; KBR @ NASA Ames Research Center, USA; NASA Langley Research Center, USA)
@InProceedings{Haskell23p103,
author = {Segev Elazar Mittelman and Aviel Resnick and Ivan Perez and Alwyn E. Goodloe and Leonidas Lampropoulos},
title = {Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {103-102},
doi = {10.1145/3609026.3609730},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws23haskellmain-id64-p doi:10.1145/3609026.3609730
Haskell '23: "The Essence of Reactivity ..."
The Essence of Reactivity
Ivan Perez and Frank Dedden
(KBR @ NASA Ames Research Center, USA; System F Computing, Netherlands)
@InProceedings{Haskell23p52,
author = {Ivan Perez and Frank Dedden},
title = {The Essence of Reactivity},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {52-51},
doi = {10.1145/3609026.3609727},
year = {2023},
}
Publisher's Version
Article: icfpws23haskellmain-id29-p doi:10.1145/3609026.3609727
|
| |
Ramsay, Steven
|
Haskell '23: "Effect Handlers for Programmable ..."
Effect Handlers for Programmable Inference
Minh Nguyen, Roly Perera, Meng Wang, and Steven Ramsay
(University of Bristol, UK)
@InProceedings{Haskell23p86,
author = {Minh Nguyen and Roly Perera and Meng Wang and Steven Ramsay},
title = {Effect Handlers for Programmable Inference},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {86-85},
doi = {10.1145/3609026.3609729},
year = {2023},
}
Publisher's Version
Article: icfpws23haskellmain-id59-p doi:10.1145/3609026.3609729
|
| |
Redmond, Patrick |
Haskell '23: "An Exceptional Actor System ..."
An Exceptional Actor System (Functional Pearl)
Patrick Redmond and Lindsey Kuper
(University of California at Santa Cruz, USA)
@InProceedings{Haskell23p69,
author = {Patrick Redmond and Lindsey Kuper},
title = {An Exceptional Actor System (Functional Pearl)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {69-68},
doi = {10.1145/3609026.3609728},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws23haskellmain-id51-p doi:10.1145/3609026.3609728
|
| |
Resnick, Aviel |
Haskell '23: "Don’t Go Down the Rabbit ..."
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; University of Pennsylvania, USA; KBR @ NASA Ames Research Center, USA; NASA Langley Research Center, USA)
@InProceedings{Haskell23p103,
author = {Segev Elazar Mittelman and Aviel Resnick and Ivan Perez and Alwyn E. Goodloe and Leonidas Lampropoulos},
title = {Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {103-102},
doi = {10.1145/3609026.3609730},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws23haskellmain-id64-p doi:10.1145/3609026.3609730
|
| |
Russo, Alejandro |
Haskell '23: "HasTEE: Programming Trusted ..."
HasTEE: Programming Trusted Execution Environments with Haskell
Abhiroop Sarkar, Robert Krook, Alejandro Russo, and Koen Claessen
(Chalmers University of Technology, Sweden)
@InProceedings{Haskell23p120,
author = {Abhiroop Sarkar and Robert Krook and Alejandro Russo and Koen Claessen},
title = {HasTEE: Programming Trusted Execution Environments with Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {120-119},
doi = {10.1145/3609026.3609731},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws23haskellmain-id75-p doi:10.1145/3609026.3609731
|
| |
Sarkar, Abhiroop
|
Haskell '23: "HasTEE: Programming Trusted ..."
HasTEE: Programming Trusted Execution Environments with Haskell
Abhiroop Sarkar, Robert Krook, Alejandro Russo, and Koen Claessen
(Chalmers University of Technology, Sweden)
@InProceedings{Haskell23p120,
author = {Abhiroop Sarkar and Robert Krook and Alejandro Russo and Koen Claessen},
title = {HasTEE: Programming Trusted Execution Environments with Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {120-119},
doi = {10.1145/3609026.3609731},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws23haskellmain-id75-p doi:10.1145/3609026.3609731
|
| |
Wang, Meng
|
Haskell '23: "Effect Handlers for Programmable ..."
Effect Handlers for Programmable Inference
Minh Nguyen, Roly Perera, Meng Wang, and Steven Ramsay
(University of Bristol, UK)
@InProceedings{Haskell23p86,
author = {Minh Nguyen and Roly Perera and Meng Wang and Steven Ramsay},
title = {Effect Handlers for Programmable Inference},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {86-85},
doi = {10.1145/3609026.3609729},
year = {2023},
}
Publisher's Version
Article: icfpws23haskellmain-id59-p doi:10.1145/3609026.3609729
|
| |
Wu, Nicolas |
Haskell '23: "The Evolution of Effects (Keynote) ..."
The Evolution of Effects (Keynote)
Nicolas Wu
(Imperial College London, UK)
@InProceedings{Haskell23p18,
author = {Nicolas Wu},
title = {The Evolution of Effects (Keynote)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3609026.3615581},
year = {2023},
}
Publisher's Version
Article: icfpws23haskellmain-key2-p doi:10.1145/3609026.3615581
|
| |
Xie, Ningning
|
Haskell '23: "Haskell for Choice-Based Learning ..."
Haskell for Choice-Based Learning (Keynote)
Ningning Xie
(Google DeepMind, Canada; University of Toronto, Canada)
@InProceedings{Haskell23p1,
author = {Ningning Xie},
title = {Haskell for Choice-Based Learning (Keynote)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3609026.3615580},
year = {2023},
}
Publisher's Version
Article: icfpws23haskellmain-key1-p doi:10.1145/3609026.3615580
|