|
|
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. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
65 | Milan Straka |
The performance of the Haskell containers package. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
65 | José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh |
A generic deriving mechanism for Haskell. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
65 | Geoffrey Mainland, Greg Morrisett |
Nikola: embedding compiled GPU functions in Haskell. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
65 | Stephanie Weirich |
Haskell Symposium Program Chair's Report. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
|
65 | Christiaan Baaij, Matthijs Kooijman, Jan Kuper, Marco Gerards, Bert Molenkamp |
Tool DemonstrationCLasHFrom Haskell to Hardware. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
|
65 | André T. H. Pang, Don Stewart, Sean Seefried, Manuel M. T. Chakravarty |
Plugging Haskell in. |
Haskell |
2004 |
DBLP DOI BibTeX RDF |
|
65 | Daan Leijen |
wxHaskell: a portable and concise GUI library for haskell. |
Haskell |
2004 |
DBLP DOI BibTeX RDF |
|
65 | Matthias Neubauer, Peter Thiemann 0001 |
Haskell type browser. |
Haskell |
2004 |
DBLP DOI BibTeX RDF |
|
65 | Simon Marlow, Simon L. Peyton Jones, Wolfgang Thaller |
Extending the Haskell foreign function interface with concurrency. |
Haskell |
2004 |
DBLP DOI BibTeX RDF |
|
65 | Thomas Hallgren |
Haskell tools from the programatica project. |
Haskell |
2003 |
DBLP DOI BibTeX RDF |
|
65 | Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn |
Helium, for learning Haskell. |
Haskell |
2003 |
DBLP DOI BibTeX RDF |
|
65 | Amr Sabry |
Modeling quantum computing in Haskell. |
Haskell |
2003 |
DBLP DOI BibTeX RDF |
|
65 | Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny |
Interactive type debugging in Haskell. |
Haskell |
2003 |
DBLP DOI BibTeX RDF |
|
65 | Karl-Filip Faxén |
Haskell and principal types. |
Haskell |
2003 |
DBLP DOI BibTeX RDF |
|
65 | Tim Sheard, Simon Peyton Jones |
Template meta-programming for Haskell. |
Haskell |
2002 |
DBLP DOI BibTeX RDF |
|
65 | Chris Okasaki |
Techniques for embedding postfix languages in Haskell. |
Haskell |
2002 |
DBLP DOI BibTeX RDF |
|
65 | Simon Marlow |
Haddock, a Haskell documentation tool. |
Haskell |
2002 |
DBLP DOI BibTeX RDF |
|
65 | Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren |
A formal specification of the Haskell 98 module system. |
Haskell |
2002 |
DBLP DOI BibTeX RDF |
|
65 | Levent Erkök, John Launchbury |
A recursive do for Haskell. |
Haskell |
2002 |
DBLP DOI BibTeX RDF |
|
65 | Jan-Willem Maessen |
Eager Haskell: resource-bounded execution yields efficient iteration. |
Haskell |
2002 |
DBLP DOI BibTeX RDF |
|
65 | Andy Gill |
Debugging Haskell by Observing Intermediate Data Structures. |
Haskell |
2000 |
DBLP DOI BibTeX RDF |
|
65 | Erik Meijer 0001, Sigbjørn Finne |
Lambada, Haskell as a Better Java. |
Haskell |
2000 |
DBLP DOI BibTeX RDF |
|
65 | Jonas Holmerin, Björn Lisper |
Data Field Haskell. |
Haskell |
2000 |
DBLP DOI BibTeX RDF |
|
65 | Erik Meijer 0001, Danny van Velzen |
Haskell Server Pages - Functional Programming and the Battle for the Middle Tier. |
Haskell |
2000 |
DBLP DOI BibTeX RDF |
|
65 | Adam Bakewell, Colin Runciman |
A Space Semantics for Core Haskell. |
Haskell |
2000 |
DBLP DOI BibTeX RDF |
|
65 | Koen Claessen, Peter Ljunglöf |
Typed Logical Variables in Haskell. |
Haskell |
2000 |
DBLP DOI BibTeX RDF |
|
64 | Jean-Philippe Bernardy |
Lazy functional incremental parsing. |
Haskell |
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. |
Haskell |
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. |
ICFP |
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. |
ACM Trans. Program. Lang. Syst. |
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. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
61 | Robert F. Pointon, Philip W. Trinder, Hans-Wolfgang Loidl |
The Design and Implementation of Glasgow Distributed Haskell. |
IFL |
2000 |
DBLP DOI BibTeX RDF |
|
61 | Claus Reinke |
Towards a Haskell/Java Connection. |
IFL |
1998 |
DBLP DOI BibTeX RDF |
|
60 | Pablo Nogueira |
Context-parametric polykinded types. |
ICFP-WGP |
2006 |
DBLP DOI BibTeX RDF |
constrained types, generic haskell, kind-indexed types, polykinded types, polytypic programming |
60 | Morten Rhiger |
A foundation for embedded languages. |
ACM Trans. Program. Lang. Syst. |
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. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
Haskell |
59 | Colin Runciman, Matthew Naylor, Fredrik Lindblad |
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. |
Haskell |
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. |
Haskell |
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. |
Haskell |
2007 |
DBLP DOI BibTeX RDF |
|
59 | Bruno C. d. S. Oliveira, Jeremy Gibbons |
TypeCase: a design pattern for type-indexed functions. |
Haskell |
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. |
Haskell |
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. |
ICFP |
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. |
OOPSLA Companion |
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. |
ICFP |
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. |
QSIC |
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. |
PADL |
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. |
ECOOP |
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. |
DSL |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Keith Hanna |
A Document-Centered Environment for Haskell. |
IFL |
2005 |
DBLP DOI BibTeX RDF |
|
52 | Chiyan Chen, Dengping Zhu, Hongwei Xi |
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Francisco Heron de Carvalho Junior, Rafael Dueire Lins |
Topological Skeletons in Haskell. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
Parallel Programming, Skeletons |
52 | Olaf Chitil, Colin Runciman, Malcolm Wallace |
Transforming Haskell for Tracing. |
IFL |
2002 |
DBLP DOI BibTeX RDF |
|
52 | Peter Thiemann 0001 |
Modeling HTML in Haskell. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
52 | John Launchbury, Jeffrey R. Lewis, Byron Cook |
On Embedding a Microarchitectural Design Language within Haskell. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
50 | Niklas Broberg, Andreas Farre, Josef Svenningsson |
Regular expression patterns. |
ICFP |
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 |
Haskell |
2023 |
DBLP DOI BibTeX RDF |
|
50 | Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay |
Effect Handlers for Programmable Inference. |
Haskell |
2023 |
DBLP DOI BibTeX RDF |
|
50 | Finnbar Keating, Michael B. Gale |
This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs. |
Haskell |
2023 |
DBLP DOI BibTeX RDF |
|
50 | Patrick Redmond, Lindsey Kuper |
An Exceptional Actor System (Functional Pearl). |
Haskell |
2023 |
DBLP DOI BibTeX RDF |
|
50 | Ivan Perez 0001, Frank Dedden |
The Essence of Reactivity. |
Haskell |
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. |
Haskell |
2023 |
DBLP DOI BibTeX RDF |
|
50 | Nicolas Wu |
The Evolution of Effects (Keynote). |
Haskell |
2023 |
DBLP DOI BibTeX RDF |
|
50 | Nadia Polikarpova (eds.) |
Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022 |
Haskell |
2022 |
DBLP DOI BibTeX RDF |
|
50 | Henry Blanchette, Niki Vazou, Leonidas Lampropoulos |
Liquid proof macros. |
Haskell |
2022 |
DBLP DOI BibTeX RDF |
|
50 | Gershom Bazerman |
A totally predictable outcome: an investigation of traversals of infinite structures. |
Haskell |
2022 |
DBLP DOI BibTeX RDF |
|
50 | Apoorv Ingle, Alex Hubers, J. Garrett Morris |
Partial type constructors in practice. |
Haskell |
2022 |
DBLP DOI BibTeX RDF |
|
50 | Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller |
Embedded pattern matching. |
Haskell |
2022 |
DBLP DOI BibTeX RDF |
|
50 | Jamie Willis, Nicolas Wu, Tom Schrijvers |
Oregano: staging regular expressions with Moore Cayley fusion. |
Haskell |
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 |
Haskell |
2021 |
DBLP DOI BibTeX RDF |
|
50 | Jean-Philippe Bernardy, Arnaud Spiwack |
Evaluating linear functions to symmetric monoidal categories. |
Haskell |
2021 |
DBLP DOI BibTeX RDF |
|
50 | Toby Bailey, Michael B. Gale |
Chesskell: a two-player game at the type level. |
Haskell |
2021 |
DBLP DOI BibTeX RDF |
|
50 | Nachiappan Valliappan, Alejandro Russo, Sam Lindley |
Practical normalization by evaluation for EDSLs. |
Haskell |
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. |
Haskell |
2021 |
DBLP DOI BibTeX RDF |
|
50 | Hashan Punchihewa, Nicolas Wu |
Safe mutation with algebraic effects. |
Haskell |
2021 |
DBLP DOI BibTeX RDF |
|
50 | Jamie Willis, Nicolas Wu |
Design patterns for parser combinators (functional pearl). |
Haskell |
2021 |
DBLP DOI BibTeX RDF |
|
50 | Finnbar Keating, Michael B. Gale |
Graded monads and type-level programming for dependence analysis. |
Haskell |
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 |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
50 | Andrej Ivaskovic, Alan Mycroft |
A graded Monad for deadlock-free concurrency (functional pearl). |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
50 | Matthew Pickering, Andres Löh, Nicolas Wu |
Staged sums of products. |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
50 | Yves Parès, Jean-Philippe Bernardy, Richard A. Eisenberg |
Composing effects into tasks and workflows. |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
50 | David A. Stuart |
Scripted signal functions. |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
50 | Koen Claessen |
Finger trees explained anew, and slightly simplified (functional pearl). |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
50 | Richard A. Eisenberg |
Stitch: the sound type-indexed type checker (functional pearl). |
Haskell@ICFP |
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 |
Haskell@ICFP |
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. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones |
Making a faster Curry with extensional types. |
Haskell@ICFP |
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. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Andrey Mokhov, Georgy Lukyanov, Jakob Lechner |
Formal verification of spacecraft control programs (experience report). |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Matthew Pickering, Nicolas Wu, Boldizsár Németh |
Working with source plugins. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Anton Ekblad |
Scoping monadic relational database queries. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Matthew Pickering, Nicolas Wu, Csongor Kiss |
Multi-stage programs in context. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Bernd Finkbeiner, Felix Klein 0001, Ruzica Piskac, Mark Santolucito |
Synthesizing functional reactive programs. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers |
Bidirectional type class instances. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
50 | Ryan G. Scott, Ryan R. Newton |
Generic and flexible defaults for verified, law-abiding type-class instances. |
Haskell@ICFP |
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 |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Divesh Otwani, Richard A. Eisenberg |
The Thoralf plugin: for your fancy type needs. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Marilyn Sun, Kathleen Fisher |
Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration). |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Manuel Bärenz, Ivan Perez 0001 |
Rhine: FRP with type-level clocks. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Dong Han, Tao He |
A high-performance multicore IO manager based on libuv (experience report). |
Haskell@ICFP |
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][ >>] |
|