| |
Augustsson, Lennart
|
Haskell '24: "MicroHs: A Small Compiler ..."
MicroHs: A Small Compiler for Haskell
Lennart Augustsson
(Unaffiliated, Sweden)
@InProceedings{Haskell24p136,
author = {Lennart Augustsson},
title = {MicroHs: A Small Compiler for Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {136-135},
doi = {10.1145/3677999.3678280},
year = {2024},
}
 Publisher's Version
Article: icfpws24haskellmain-p84-p (type: Short Paper) doi:10.1145/3677999.3678280
|
| |
Bahr, Patrick
|
Haskell '24: "Calculating Compilers Effectively ..."
Calculating Compilers Effectively (Functional Pearl)
Zac Garby, Graham Hutton, and Patrick Bahr
(University of Nottingham, United Kingdom; IT University of Copenhagen, Denmark)
@InProceedings{Haskell24p121,
author = {Zac Garby and Graham Hutton and Patrick Bahr},
title = {Calculating Compilers Effectively (Functional Pearl)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3677999.3678283},
year = {2024},
}
Publisher's Version
Article: icfpws24haskellmain-p96-p (type: Full Paper) doi:10.1145/3677999.3678283
|
| |
Bunkenburg, Niels |
Haskell '24: "Making a Curry Interpreter ..."
Making a Curry Interpreter using Effects and Handlers
Niels Bunkenburg and Nicolas Wu
(Kiel University, Germany; Imperial College London, United Kingdom)
@InProceedings{Haskell24p76,
author = {Niels Bunkenburg and Nicolas Wu},
title = {Making a Curry Interpreter using Effects and Handlers},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3677999.3678279},
year = {2024},
}
Publisher's Version
Article: icfpws24haskellmain-p68-p (type: Full Paper) doi:10.1145/3677999.3678279
|
| |
Gale, Michael B.
|
Haskell '24: "Functional Reactive Programming, ..."
Functional Reactive Programming, Rearranged
Finnbar Keating and Michael B. Gale
(University of Warwick, United Kingdom; GitHub, United Kingdom)
@InProceedings{Haskell24p61,
author = {Finnbar Keating and Michael B. Gale},
title = {Functional Reactive Programming, Rearranged},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3677999.3678278},
year = {2024},
}
Publisher's Version
 Published Artifact
Artifacts Available
Article: icfpws24haskellmain-p45-p (type: Full Paper) doi:10.1145/3677999.3678278
|
| |
Garby, Zac |
Haskell '24: "Calculating Compilers Effectively ..."
Calculating Compilers Effectively (Functional Pearl)
Zac Garby, Graham Hutton, and Patrick Bahr
(University of Nottingham, United Kingdom; IT University of Copenhagen, Denmark)
@InProceedings{Haskell24p121,
author = {Zac Garby and Graham Hutton and Patrick Bahr},
title = {Calculating Compilers Effectively (Functional Pearl)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3677999.3678283},
year = {2024},
}
Publisher's Version
Article: icfpws24haskellmain-p96-p (type: Full Paper) doi:10.1145/3677999.3678283
|
| |
Hammersberg, Samuel
|
Haskell '24: "Welcome to the Parti(tioning) ..."
Welcome to the Parti(tioning) (Functional Pearl): Using Rewrite Rules and Specialisation to Partition Haskell Programs
Robert Krook and Samuel Hammersberg
(Chalmers University of Technology - Gothenburg University, Sweden; Gothenburg University, Sweden)
@InProceedings{Haskell24p31,
author = {Robert Krook and Samuel Hammersberg},
title = {Welcome to the Parti(tioning) (Functional Pearl): Using Rewrite Rules and Specialisation to Partition Haskell Programs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3677999.3678276},
year = {2024},
}
Publisher's Version
Article: icfpws24haskellmain-p29-p (type: Full Paper) doi:10.1145/3677999.3678276
|
| |
Hutton, Graham |
Haskell '24: "Calculating Compilers Effectively ..."
Calculating Compilers Effectively (Functional Pearl)
Zac Garby, Graham Hutton, and Patrick Bahr
(University of Nottingham, United Kingdom; IT University of Copenhagen, Denmark)
@InProceedings{Haskell24p121,
author = {Zac Garby and Graham Hutton and Patrick Bahr},
title = {Calculating Compilers Effectively (Functional Pearl)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3677999.3678283},
year = {2024},
}
Publisher's Version
Article: icfpws24haskellmain-p96-p (type: Full Paper) doi:10.1145/3677999.3678283
|
| |
Iwasaki, Hideya
|
Haskell '24: "Controlling Computation Granularity ..."
Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers
Momoka Saito, Hideya Iwasaki, Hideyuki Kawabata, and Tsuneyasu Komiya
(University of Electro-Communications, Japan; Meiji University, Japan; Hiroshima City University, Japan)
@InProceedings{Haskell24p91,
author = {Momoka Saito and Hideya Iwasaki and Hideyuki Kawabata and Tsuneyasu Komiya},
title = {Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3677999.3678281},
year = {2024},
}
Publisher's Version
Article: icfpws24haskellmain-p88-p (type: Full Paper) doi:10.1145/3677999.3678281
|
| |
Kawabata, Hideyuki
|
Haskell '24: "Controlling Computation Granularity ..."
Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers
Momoka Saito, Hideya Iwasaki, Hideyuki Kawabata, and Tsuneyasu Komiya
(University of Electro-Communications, Japan; Meiji University, Japan; Hiroshima City University, Japan)
@InProceedings{Haskell24p91,
author = {Momoka Saito and Hideya Iwasaki and Hideyuki Kawabata and Tsuneyasu Komiya},
title = {Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3677999.3678281},
year = {2024},
}
Publisher's Version
Article: icfpws24haskellmain-p88-p (type: Full Paper) doi:10.1145/3677999.3678281
|
| |
Keating, Finnbar |
Haskell '24: "Functional Reactive Programming, ..."
Functional Reactive Programming, Rearranged
Finnbar Keating and Michael B. Gale
(University of Warwick, United Kingdom; GitHub, United Kingdom)
@InProceedings{Haskell24p61,
author = {Finnbar Keating and Michael B. Gale},
title = {Functional Reactive Programming, Rearranged},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3677999.3678278},
year = {2024},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: icfpws24haskellmain-p45-p (type: Full Paper) doi:10.1145/3677999.3678278
|
| |
Komiya, Tsuneyasu |
Haskell '24: "Controlling Computation Granularity ..."
Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers
Momoka Saito, Hideya Iwasaki, Hideyuki Kawabata, and Tsuneyasu Komiya
(University of Electro-Communications, Japan; Meiji University, Japan; Hiroshima City University, Japan)
@InProceedings{Haskell24p91,
author = {Momoka Saito and Hideya Iwasaki and Hideyuki Kawabata and Tsuneyasu Komiya},
title = {Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3677999.3678281},
year = {2024},
}
Publisher's Version
Article: icfpws24haskellmain-p88-p (type: Full Paper) doi:10.1145/3677999.3678281
|
| |
Krook, Robert |
Haskell '24: "Welcome to the Parti(tioning) ..."
Welcome to the Parti(tioning) (Functional Pearl): Using Rewrite Rules and Specialisation to Partition Haskell Programs
Robert Krook and Samuel Hammersberg
(Chalmers University of Technology - Gothenburg University, Sweden; Gothenburg University, Sweden)
@InProceedings{Haskell24p31,
author = {Robert Krook and Samuel Hammersberg},
title = {Welcome to the Parti(tioning) (Functional Pearl): Using Rewrite Rules and Specialisation to Partition Haskell Programs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3677999.3678276},
year = {2024},
}
Publisher's Version
Article: icfpws24haskellmain-p29-p (type: Full Paper) doi:10.1145/3677999.3678276
|
| |
Marques, Rodrigo
|
Haskell '24: "Haskelite: A Tracing Interpreter ..."
Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
Pedro Vasconcelos and Rodrigo Marques
(University of Porto, Portugal)
@InProceedings{Haskell24p1,
author = {Pedro Vasconcelos and Rodrigo Marques},
title = {Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3677999.3678274},
year = {2024},
}
Publisher's Version
Article: icfpws24haskellmain-p3-p (type: Full Paper) doi:10.1145/3677999.3678274
|
| |
Ramsay, Craig
|
Haskell '24: "Cloaca: A Concurrent Hardware ..."
Cloaca: A Concurrent Hardware Garbage Collector for Non-strict Functional Languages
Craig Ramsay and Robert Stewart
(Heriot-Watt University, United Kingdom)
@InProceedings{Haskell24p46,
author = {Craig Ramsay and Robert Stewart},
title = {Cloaca: A Concurrent Hardware Garbage Collector for Non-strict Functional Languages},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {46-45},
doi = {10.1145/3677999.3678277},
year = {2024},
}
Publisher's Version
Article: icfpws24haskellmain-p31-p (type: Full Paper) doi:10.1145/3677999.3678277
|
| |
Reinders, Jaro |
Haskell '24: "Higher Order Patterns for ..."
Higher Order Patterns for Rewrite Rules
Jaro Reinders
(Delft University of Technology, Netherlands)
@InProceedings{Haskell24p16,
author = {Jaro Reinders},
title = {Higher Order Patterns for Rewrite Rules},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3677999.3678275},
year = {2024},
}
Publisher's Version
Article: icfpws24haskellmain-p12-p (type: Full Paper) doi:10.1145/3677999.3678275
|
| |
Saito, Momoka
|
Haskell '24: "Controlling Computation Granularity ..."
Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers
Momoka Saito, Hideya Iwasaki, Hideyuki Kawabata, and Tsuneyasu Komiya
(University of Electro-Communications, Japan; Meiji University, Japan; Hiroshima City University, Japan)
@InProceedings{Haskell24p91,
author = {Momoka Saito and Hideya Iwasaki and Hideyuki Kawabata and Tsuneyasu Komiya},
title = {Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3677999.3678281},
year = {2024},
}
Publisher's Version
Article: icfpws24haskellmain-p88-p (type: Full Paper) doi:10.1145/3677999.3678281
|
| |
Stewart, Robert |
Haskell '24: "Cloaca: A Concurrent Hardware ..."
Cloaca: A Concurrent Hardware Garbage Collector for Non-strict Functional Languages
Craig Ramsay and Robert Stewart
(Heriot-Watt University, United Kingdom)
@InProceedings{Haskell24p46,
author = {Craig Ramsay and Robert Stewart},
title = {Cloaca: A Concurrent Hardware Garbage Collector for Non-strict Functional Languages},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {46-45},
doi = {10.1145/3677999.3678277},
year = {2024},
}
Publisher's Version
Article: icfpws24haskellmain-p31-p (type: Full Paper) doi:10.1145/3677999.3678277
|
| |
Van Brügge, Jan
|
Haskell '24: "Liquid Amortization: Proving ..."
Liquid Amortization: Proving Amortized Complexity with LiquidHaskell (Functional Pearl)
Jan van Brügge
(Heriot-Watt University, United Kingdom)
@InProceedings{Haskell24p106,
author = {Jan van Brügge},
title = {Liquid Amortization: Proving Amortized Complexity with LiquidHaskell (Functional Pearl)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {106-105},
doi = {10.1145/3677999.3678282},
year = {2024},
}
Publisher's Version
Article: icfpws24haskellmain-p94-p (type: Full Paper) doi:10.1145/3677999.3678282
|
| |
Vasconcelos, Pedro |
Haskell '24: "Haskelite: A Tracing Interpreter ..."
Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
Pedro Vasconcelos and Rodrigo Marques
(University of Porto, Portugal)
@InProceedings{Haskell24p1,
author = {Pedro Vasconcelos and Rodrigo Marques},
title = {Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3677999.3678274},
year = {2024},
}
Publisher's Version
Article: icfpws24haskellmain-p3-p (type: Full Paper) doi:10.1145/3677999.3678274
|
| |
Wu, Nicolas
|
Haskell '24: "Making a Curry Interpreter ..."
Making a Curry Interpreter using Effects and Handlers
Niels Bunkenburg and Nicolas Wu
(Kiel University, Germany; Imperial College London, United Kingdom)
@InProceedings{Haskell24p76,
author = {Niels Bunkenburg and Nicolas Wu},
title = {Making a Curry Interpreter using Effects and Handlers},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3677999.3678279},
year = {2024},
}
Publisher's Version
Article: icfpws24haskellmain-p68-p (type: Full Paper) doi:10.1145/3677999.3678279
|