|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1041 occurrences of 477 keywords
|
|
|
Results
Found 1588 publication records. Showing 1556 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
65 | John Launchbury, Trevor Elliott |
Concurrent orchestration in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010, pp. 79-90, 2010, ACM, 978-1-4503-0252-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
65 | Milan Straka |
The performance of the Haskell containers package. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010, pp. 13-24, 2010, ACM, 978-1-4503-0252-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
65 | José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh |
A generic deriving mechanism for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010, pp. 37-48, 2010, ACM, 978-1-4503-0252-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
65 | Geoffrey Mainland, Greg Morrisett |
Nikola: embedding compiled GPU functions in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010, pp. 67-78, 2010, ACM, 978-1-4503-0252-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
65 | Stephanie Weirich |
Haskell Symposium Program Chair's Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009, 2009, ACM, 978-1-60558-508-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
65 | Christiaan Baaij, Matthijs Kooijman, Jan Kuper, Marco Gerards, Bert Molenkamp |
Tool DemonstrationCLasHFrom Haskell to Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009, 2009, ACM, 978-1-60558-508-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
65 | André T. H. Pang, Don Stewart, Sean Seefried, Manuel M. T. Chakravarty |
Plugging Haskell in. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2004, Snowbird, UT, USA, September 22-22, 2004, pp. 10-21, 2004, ACM, 978-1-58113-850-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
65 | Daan Leijen |
wxHaskell: a portable and concise GUI library for haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2004, Snowbird, UT, USA, September 22-22, 2004, pp. 57-68, 2004, ACM, 978-1-58113-850-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
65 | Matthias Neubauer, Peter Thiemann 0001 |
Haskell type browser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2004, Snowbird, UT, USA, September 22-22, 2004, pp. 92-93, 2004, ACM, 978-1-58113-850-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
65 | Simon Marlow, Simon L. Peyton Jones, Wolfgang Thaller |
Extending the Haskell foreign function interface with concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2004, Snowbird, UT, USA, September 22-22, 2004, pp. 22-32, 2004, ACM, 978-1-58113-850-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
65 | Thomas Hallgren |
Haskell tools from the programatica project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2003, Uppsala, Sweden, August 28, 2003, pp. 103-106, 2003, ACM, 978-1-58113-758-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
65 | Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn |
Helium, for learning Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2003, Uppsala, Sweden, August 28, 2003, pp. 62-71, 2003, ACM, 978-1-58113-758-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
65 | Amr Sabry |
Modeling quantum computing in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2003, Uppsala, Sweden, August 28, 2003, pp. 39-49, 2003, ACM, 978-1-58113-758-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
65 | Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny |
Interactive type debugging in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2003, Uppsala, Sweden, August 28, 2003, pp. 72-83, 2003, ACM, 978-1-58113-758-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
65 | Karl-Filip Faxén |
Haskell and principal types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2003, Uppsala, Sweden, August 28, 2003, pp. 88-97, 2003, ACM, 978-1-58113-758-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
65 | Tim Sheard, Simon Peyton Jones |
Template meta-programming for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, Haskell 2002, Pittsburgh, Pennsylvania, USA, October 3, 2002, pp. 1-16, 2002, ACM, 978-1-58113-605-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
65 | Chris Okasaki |
Techniques for embedding postfix languages in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, Haskell 2002, Pittsburgh, Pennsylvania, USA, October 3, 2002, pp. 105-113, 2002, ACM, 978-1-58113-605-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
65 | Simon Marlow |
Haddock, a Haskell documentation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, Haskell 2002, Pittsburgh, Pennsylvania, USA, October 3, 2002, pp. 78-89, 2002, ACM, 978-1-58113-605-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
65 | Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren |
A formal specification of the Haskell 98 module system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, Haskell 2002, Pittsburgh, Pennsylvania, USA, October 3, 2002, pp. 17-28, 2002, ACM, 978-1-58113-605-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
65 | Levent Erkök, John Launchbury |
A recursive do for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, Haskell 2002, Pittsburgh, Pennsylvania, USA, October 3, 2002, pp. 29-37, 2002, ACM, 978-1-58113-605-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
65 | Jan-Willem Maessen |
Eager Haskell: resource-bounded execution yields efficient iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, Haskell 2002, Pittsburgh, Pennsylvania, USA, October 3, 2002, pp. 38-50, 2002, ACM, 978-1-58113-605-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
65 | Andy Gill |
Debugging Haskell by Observing Intermediate Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, Haskell 2000, Satellite Event of PLI 2000, Montreal, Canada, September 17, 2000, pp. 1, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
65 | Erik Meijer 0001, Sigbjørn Finne |
Lambada, Haskell as a Better Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, Haskell 2000, Satellite Event of PLI 2000, Montreal, Canada, September 17, 2000, pp. 91-119, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
65 | Jonas Holmerin, Björn Lisper |
Data Field Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, Haskell 2000, Satellite Event of PLI 2000, Montreal, Canada, September 17, 2000, pp. 4, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
65 | Erik Meijer 0001, Danny van Velzen |
Haskell Server Pages - Functional Programming and the Battle for the Middle Tier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, Haskell 2000, Satellite Event of PLI 2000, Montreal, Canada, September 17, 2000, pp. 74, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
65 | Adam Bakewell, Colin Runciman |
A Space Semantics for Core Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, Haskell 2000, Satellite Event of PLI 2000, Montreal, Canada, September 17, 2000, pp. 36, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
65 | Koen Claessen, Peter Ljunglöf |
Typed Logical Variables in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, Haskell 2000, Satellite Event of PLI 2000, Montreal, Canada, September 17, 2000, pp. 37, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
64 | Jean-Philippe Bernardy |
Lazy functional incremental parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009, pp. 49-60, 2009, ACM, 978-1-60558-508-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
polish representation, dynamic programming, haskell, parsing, lazy evaluation, incremental computing, editor |
64 | Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. Cock, Manuel M. T. Chakravarty |
Running the manual: an approach to high-assurance microkernel development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006, pp. 60-71, 2006, ACM, 1-59593-489-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
formalisation, verification, operating systems, rapid prototyping, Haskell, monads, executable specification, Isabelle/HOL |
62 | Meurig Sage |
FranTk - a declarative GUI language for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000., pp. 106-117, 2000, ACM, 1-58113-202-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
graphical user interfaces, Haskell, Haskell, functional reactive programming |
62 | Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler |
Type Classes in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(2), pp. 109-138, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
functional programming, Haskell, Haskell, types, type classes |
61 | Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones |
Haskell Is Not Not ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings, pp. 38-53, 2006, Springer, 3-540-33095-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
61 | Robert F. Pointon, Philip W. Trinder, Hans-Wolfgang Loidl |
The Design and Implementation of Glasgow Distributed Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers, pp. 53-70, 2000, Springer, 3-540-41919-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
61 | Claus Reinke |
Towards a Haskell/Java Connection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 10th International Workshop, IFL'98, London, UK, September 9-11, Selected Papers, pp. 200-215, 1998, Springer, 3-540-66229-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
60 | Pablo Nogueira |
Context-parametric polykinded types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 45-54, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
constrained types, generic haskell, kind-indexed types, polykinded types, polytypic programming |
60 | Morten Rhiger |
A foundation for embedded languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 25(3), pp. 291-315, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
phantom types, Haskell, completeness, Standard ML, type safety, higher-order abstract syntax, Embedded languages, type soundness |
60 | Satish R. Thatte |
Semantics of Type Classes Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1994 ACM Conference on LISP and Functional Programming, Orlando, Florida, USA, 27-29 June 1994., pp. 208-219, 1994, ACM, 0-89791-643-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Haskell |
59 | Colin Runciman, Matthew Naylor, Fredrik Lindblad |
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008, pp. 37-48, 2008, ACM, 978-1-60558-064-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
lazy evaluation, type classes, exhaustive search, embedded language, property-based testing |
59 | Ki Yung Ahn, Tim Sheard |
Shared subtypes: subtyping recursive parametrized algebraic data types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008, pp. 75-86, 2008, ACM, 978-1-60558-064-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
parametrized types, sharing representation, subtype, subtyping, recursive types, gadts, datatypes, algebraic data types |
59 | Matthew Naylor, Emil Axelsson, Colin Runciman |
A functional-logic library for wired. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007, pp. 37-48, 2007, ACM, 978-1-59593-674-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
59 | Bruno C. d. S. Oliveira, Jeremy Gibbons |
TypeCase: a design pattern for type-indexed functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005, pp. 98-109, 2005, ACM, 1-59593-071-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
type-indexed functions, generic programming, type classes |
59 | Don Stewart, Manuel M. T. Chakravarty |
Dynamic applications from the ground up. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005, pp. 27-38, 2005, ACM, 1-59593-071-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
functional programming, dynamic update, extension languages, hot swapping, dynamic applications |
57 | Avik Chaudhuri |
A concurrent ML library in concurrent Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 269-280, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
concurrent haskell, distributed synchronization protocol, synchronization abstractions, pi calculus, concurrent ML |
57 | Philip Wadler |
Faith, evolution, and programming languages: from Haskell to Java to links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 508, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
dynamic and static typing, Java, generics, Haskell, links, type classes, parametric polymorphism |
57 | Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach |
A principled approach to operating system construction in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 116-128, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
hardware interface, verification, operating systems, Haskell, monads, programming logic |
57 | Peter Dybjer, Qiao Haiyan, Makoto Takeyama |
Verifying Haskell Programs by Combining Testing and Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA, pp. 272-279, 2003, IEEE Computer Society, 0-7695-2015-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
BDDs and Haskell, program verification, random testing, type theory, proof-assistants |
55 | John Peterson, Paul Hudak, Alastair Reid 0001, Gregory D. Hager |
FVision: A Declarative Language for Visual Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings, pp. 304-321, 2001, Springer, 3-540-41768-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
52 | Simon L. Peyton Jones |
Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings, pp. 1, 2009, Springer, 978-3-642-03012-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu |
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSL ![In: Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings, pp. 236-261, 2009, Springer, 978-3-642-03033-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Keith Hanna |
A Document-Centered Environment for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers, pp. 196-211, 2005, Springer, 3-540-69174-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
52 | Chiyan Chen, Dengping Zhu, Hongwei Xi |
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings, pp. 239-254, 2004, Springer, 3-540-22253-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Francisco Heron de Carvalho Junior, Rafael Dueire Lins |
Topological Skeletons in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 53, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Parallel Programming, Skeletons |
52 | Olaf Chitil, Colin Runciman, Malcolm Wallace |
Transforming Haskell for Tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, pp. 165-181, 2002, Springer, 3-540-40190-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
52 | Peter Thiemann 0001 |
Modeling HTML in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings, pp. 263-277, 2000, Springer, 3-540-66992-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
52 | John Launchbury, Jeffrey R. Lewis, Byron Cook |
On Embedding a Microarchitectural Design Language within Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 60-69, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
50 | Niklas Broberg, Andreas Farre, Josef Svenningsson |
Regular expression patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004, pp. 67-78, 2004, ACM, 1-58113-905-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
pattern matching, haskell, regular expressions |
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | 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 |
|
50 | Tom Schrijvers (eds.) |
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![ACM, 978-1-4503-8050-8 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
50 | Andrej Ivaskovic, Alan Mycroft |
A graded Monad for deadlock-free concurrency (functional pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020, pp. 17-30, 2020, ACM, 978-1-4503-8050-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
50 | Matthew Pickering, Andres Löh, Nicolas Wu |
Staged sums of products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020, pp. 122-135, 2020, ACM, 978-1-4503-8050-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
50 | Yves Parès, Jean-Philippe Bernardy, Richard A. Eisenberg |
Composing effects into tasks and workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020, pp. 80-94, 2020, ACM, 978-1-4503-8050-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
50 | David A. Stuart |
Scripted signal functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020, pp. 109-121, 2020, ACM, 978-1-4503-8050-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
50 | Koen Claessen |
Finger trees explained anew, and slightly simplified (functional pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020, pp. 31-38, 2020, ACM, 978-1-4503-8050-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
50 | Richard A. Eisenberg |
Stitch: the sound type-indexed type checker (functional pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020, pp. 39-53, 2020, ACM, 978-1-4503-8050-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
50 | Richard A. Eisenberg (eds.) |
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![ACM, 978-1-4503-6813-1 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Tom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff |
Monad transformers and modular algebraic effects: what binds them together. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019, pp. 98-113, 2019, ACM, 978-1-4503-6813-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones |
Making a faster Curry with extensional types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019, pp. 58-70, 2019, ACM, 978-1-4503-6813-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, Jerónimo Castrillón |
STCLang: state thread composition as a foundation for monadic dataflow parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019, pp. 146-161, 2019, ACM, 978-1-4503-6813-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Andrey Mokhov, Georgy Lukyanov, Jakob Lechner |
Formal verification of spacecraft control programs (experience report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019, pp. 139-145, 2019, ACM, 978-1-4503-6813-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Matthew Pickering, Nicolas Wu, Boldizsár Németh |
Working with source plugins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019, pp. 85-97, 2019, ACM, 978-1-4503-6813-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Anton Ekblad |
Scoping monadic relational database queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019, pp. 114-124, 2019, ACM, 978-1-4503-6813-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Matthew Pickering, Nicolas Wu, Csongor Kiss |
Multi-stage programs in context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019, pp. 71-84, 2019, ACM, 978-1-4503-6813-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Bernd Finkbeiner, Felix Klein 0001, Ruzica Piskac, Mark Santolucito |
Synthesizing functional reactive programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019, pp. 162-175, 2019, ACM, 978-1-4503-6813-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers |
Bidirectional type class instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019, pp. 30-43, 2019, ACM, 978-1-4503-6813-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Ryan G. Scott, Ryan R. Newton |
Generic and flexible defaults for verified, law-abiding type-class instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019, pp. 15-29, 2019, ACM, 978-1-4503-6813-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Nicolas Wu (eds.) |
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![ACM, 978-1-4503-5835-4 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Divesh Otwani, Richard A. Eisenberg |
The Thoralf plugin: for your fancy type needs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018, pp. 106-118, 2018, ACM, 978-1-4503-5835-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Marilyn Sun, Kathleen Fisher |
Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018, pp. 38-40, 2018, ACM, 978-1-4503-5835-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Manuel Bärenz, Ivan Perez 0001 |
Rhine: FRP with type-level clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018, pp. 145-157, 2018, ACM, 978-1-4503-5835-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Dong Han, Tao He |
A high-performance multicore IO manager based on libuv (experience report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018, pp. 172-178, 2018, ACM, 978-1-4503-5835-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 1556 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|