Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay |
Effect Handlers for Programmable Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023, pp. 44-58, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Finnbar Keating, Michael B. Gale |
This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023, pp. 3-17, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Redmond, Lindsey Kuper |
An Exceptional Actor System (Functional Pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023, pp. 32-43, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Perez 0001, Frank Dedden |
The Essence of Reactivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023, pp. 18-31, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen |
HasTEE: Programming Trusted Execution Environments with Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023, pp. 72-88, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ningning Xie |
Haskell for Choice-Based Learning (Keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023, pp. 1, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Segev Elazar Mittelman, Aviel Resnick, Ivan Perez 0001, Alwyn E. Goodloe, Leonidas Lampropoulos |
Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023, pp. 59-71, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Takato Otsuka, Hideya Iwasaki |
Haskell Library for Safer Virtual Machine Introspection (Experience Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023, pp. 89-96, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Trevor L. McDonell, Niki Vazou (eds.) |
Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![ACM The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Edsko de Vries |
falsify: Internal Shrinking Reimagined for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023, pp. 97-109, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Wu |
The Evolution of Effects (Keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023, pp. 2, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Celeste Hollenbeck, Michael F. P. O'Boyle, Michel Steuwer |
Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022, pp. 81-94, 2022, ACM, 978-1-4503-9438-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Lykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou |
Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022, pp. 1-12, 2022, ACM, 978-1-4503-9438-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Henry Blanchette, Niki Vazou, Leonidas Lampropoulos |
Liquid proof macros. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022, pp. 27-38, 2022, ACM, 978-1-4503-9438-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gershom Bazerman |
A totally predictable outcome: an investigation of traversals of infinite structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022, pp. 39-53, 2022, ACM, 978-1-4503-9438-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Apoorv Ingle, Alex Hubers, J. Garrett Morris |
Partial type constructors in practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022, pp. 95-107, 2022, ACM, 978-1-4503-9438-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller |
Embedded pattern matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022, pp. 123-136, 2022, ACM, 978-1-4503-9438-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Niki Vazou, Michael Greenberg 0002 |
How to safely use extensionality in Liquid Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022, pp. 13-26, 2022, ACM, 978-1-4503-9438-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Polikarpova (eds.) |
Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![ACM, 978-1-4503-9438-3 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jamie Willis, Nicolas Wu, Tom Schrijvers |
Oregano: staging regular expressions with Moore Cayley fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022, pp. 66-80, 2022, ACM, 978-1-4503-9438-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman 0001, Ulf Norell |
Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022, pp. 108-122, 2022, ACM, 978-1-4503-9438-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, Rodrigo Geraldo Ribeiro |
Open transactional actions: interacting with non-transactional resources in STM Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022, pp. 54-65, 2022, ACM, 978-1-4503-9438-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Philippe Bernardy, Arnaud Spiwack |
Evaluating linear functions to symmetric monoidal categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021, pp. 14-26, 2021, ACM, 978-1-4503-8615-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Toby Bailey, Michael B. Gale |
Chesskell: a two-player game at the type level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021, pp. 110-121, 2021, ACM, 978-1-4503-8615-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nachiappan Valliappan, Alejandro Russo, Sam Lindley |
Practical normalization by evaluation for EDSLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021, pp. 56-70, 2021, ACM, 978-1-4503-8615-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gert-Jan Bottu, Richard A. Eisenberg |
Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021, pp. 85-97, 2021, ACM, 978-1-4503-8615-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Finn Teegen, Kai-Oliver Prott, Niels Bunkenburg |
Haskell⁻¹: automatic function inversion in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021, pp. 41-55, 2021, ACM, 978-1-4503-8615-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jurriaan Hage (eds.) |
Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![ACM, 978-1-4503-8615-9 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hashan Punchihewa, Nicolas Wu |
Safe mutation with algebraic effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021, pp. 122-135, 2021, ACM, 978-1-4503-8615-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jamie Willis, Nicolas Wu |
Design patterns for parser combinators (functional pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021, pp. 71-84, 2021, ACM, 978-1-4503-8615-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rudy Matela |
Express: applications of dynamically typed Haskell expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021, pp. 98-109, 2021, ACM, 978-1-4503-8615-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Finnbar Keating, Michael B. Gale |
Graded monads and type-level programming for dependence analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021, pp. 27-40, 2021, ACM, 978-1-4503-8615-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wen Kokke, Ornela Dardha |
Deadlock-free session types in linear Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021, pp. 1-13, 2021, ACM, 978-1-4503-8615-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller |
Streaming irregular arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 174-185, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dmitrij Szamozvancev, Michael B. Gale |
Well-typed music does not sound wrong (experience report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 99-104, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jennifer Paykin, Steve Zdancewic |
The linearity Monad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 117-132, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Markus Aronsson, Mary Sheeran |
Hardware software co-design in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 162-173, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone |
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 38-39, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anton Ekblad |
A meta-EDSL for distributed web applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 75-85, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Leonidas Lampropoulos, Antal Spector-Zabusky, Kenneth Foner |
Ode on a random urn (functional pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 26-37, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Didier Rémy |
Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 1, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Iavor S. Diatchki (eds.) |
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![ACM, 978-1-4503-5182-9 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rudy Braquehais, Colin Runciman |
Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 40-51, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ryan Yates, Michael L. Scott |
Improving STM performance with transactional structs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 186-196, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mario Blazevic, Jacques Légaré |
Packrats parse in packs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 14-25, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler |
Quantified class constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 148-161, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Justin Dawson, Mark Grebe, Andy Gill |
Composable network stacks and remote monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 86-97, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton |
Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 197-211, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Donya Quick |
Algorithmic music in Haskell (invited talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 98, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrey Mokhov |
Algebraic graphs with class (functional pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 2-13, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Niki Vazou, Leonidas Lampropoulos, Jeff Polakow |
A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 63-74, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | John Wiegley, Benjamin Delaware |
Using Coq to write fast and correct Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 52-62, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Perez 0001 |
Back to the future: time travel in FRP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 105-116, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Georgios Karachalias, Tom Schrijvers |
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017, pp. 133-147, 2017, ACM, 978-1-4503-5182-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sam Lindley, J. Garrett Morris |
Embedding session types in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 133-145, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lennart Augustsson, Mårten Ågren |
Experience report: types for a relational algebra library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 127-132, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jan Bracker, Henrik Nilsson |
Supermonads: one notion to bind them all. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 158-169, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anton Ekblad |
High-performance client-side web applications through Haskell EDSLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 62-73, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Pickering, Gergo Érdi, Simon Peyton Jones, Richard A. Eisenberg |
Pattern synonyms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 80-91, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Atze van der Ploeg, Koen Claessen, Pablo Buiras |
The Key monad: type-safe unconstrained dynamic typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 146-157, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhiko Yamamoto |
Experience report: developing high performance HTTP/2 server in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 74-79, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gustavo Grieco, Martín Ceresa, Pablo Buiras |
QuickFuzz: an automatic random fuzzer for common file formats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 13-20, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Philip Dexter, Yu David Liu, Kenneth Chiu |
Lazy graph processing in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 182-192, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Yallop, Hai Liu 0012 |
Causal commutative arrows revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 21-32, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov |
Desugaring Haskell's do-notation into applicative operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 92-104, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rudy Braquehais, Colin Runciman |
FitSpec: refining property sets for functional testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 1-12, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Satvik Chauhan, Piyush P. Kurur, Brent A. Yorgey |
How to twist pointers without breaking them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 51-61, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Perez 0001, Manuel Bärenz, Henrik Nilsson |
Functional reactive programming, refactored. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 33-44, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Le, Ryan Yates, Matthew Fluet |
Revisiting software transactional memory in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 105-113, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Gibbons |
Free delivery (functional pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 45-50, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher |
Autobahn: using genetic algorithms to infer strictness annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 114-126, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow |
Non-recursive make considered harmful: build systems at scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 170-181, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Mainland (eds.) |
Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![ACM, 978-1-4503-4434-0 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Adam Scibior, Zoubin Ghahramani, Andrew D. Gordon 0001 |
Practical probabilistic programming with monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 165-176, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Serrano 0001, Jurriaan Hage, Patrick Bahr |
Type families with class, type classes with family. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 129-140, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Breitner |
Formally proving a compiler transformation safe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 35-46, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover, Ryan R. Newton |
Type-safe runtime code generation: accelerate to LLVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 201-212, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott, James Stanton |
The remote monad design pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 59-70, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth Foner |
Functional pearl: getting a quick fix on comonads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 106-117, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Polakow |
Embedding a full linear Lambda calculus in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 177-188, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Walker 0004, Colin Runciman |
Déjà Fu: a concurrency testing library for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 141-152, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | José Manuel Calderón Trilla, Colin Runciman |
Improving implicit parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 153-164, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You |
Modular reifiable matching: a list-of-functors approach to two-level types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 82-93, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adam Gundry |
A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 11-22, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ben Lippmeier (eds.) |
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![ACM, 978-1-4503-3808-0 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Iavor S. Diatchki |
Improving Haskell types with SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 1-10, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg |
Injective type families for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 118-128, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | J. Garrett Morris |
Variations on variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 71-81, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Perez 0001, Henrik Nilsson |
Bridging the GUI gap with reactive values and relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 47-58, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury |
Guilt free ivory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 189-200, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Farmer, Neil Sculthorpe, Andy Gill |
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 23-34, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov, Hiromi Ishii |
Freer monads, more extensible effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015, pp. 94-105, 2015, ACM, 978-1-4503-3808-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Wu, Tom Schrijvers, Ralf Hinze |
Effect handlers in scope. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014, pp. 1-12, 2014, ACM, 978-1-4503-3041-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dominic A. Orchard, Tomas Petricek 0001 |
Embedding effect systems in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014, pp. 13-24, 2014, ACM, 978-1-4503-3041-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Deian Stefan, Amit Levy, Alejandro Russo, David Mazières |
Building secure systems with LIO (demo). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014, pp. 93-94, 2014, ACM, 978-1-4503-3041-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Christian Blanchette, Lars Hupel, Tobias Nipkow, Lars Noschinski, Dmitriy Traytel |
Experience report: the next 1100 Haskell programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014, pp. 25-30, 2014, ACM, 978-1-4503-3041-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Takayuki Muranushi, Richard A. Eisenberg |
Experience report: type-checking polymorphic units for astrophysics research in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014, pp. 31-38, 2014, ACM, 978-1-4503-3041-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | J. Garrett Morris |
A simple semantics for Haskell overloading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014, pp. 107-118, 2014, ACM, 978-1-4503-3041-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Amit A. Levy, David Terei, Deian Stefan, David Mazières |
Demo proposal: making web applications -XSafe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014, pp. 91, 2014, ACM, 978-1-4503-3041-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wouter Swierstra (eds.) |
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![ACM, 978-1-4503-3041-1 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|