|
|
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 |
50 | Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny |
Improving type error diagnosis. |
Haskell |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Björn Bringert, Anders Höckersten, Conny Andersson, Martin Andersson, Mary Bergman, Victor Blomqvist, Torbjörn Martin |
Student paper: HaskellDB improved. |
Haskell |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Oleg Kiselyov, Chung-chieh Shan |
Functional pearl: implicit configurations-or, type classes reflect the values of types. |
Haskell |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Markus Forsberg, Aarne Ranta |
BNF converter. |
Haskell |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Oleg Kiselyov, Ralf Lämmel, Keean Schupke |
Strongly typed heterogeneous collections. |
Haskell |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Conor McBride, James McKinna |
Functional pearl: i am not a number-i am a free variable. |
Haskell |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Johan Jeuring (eds.) |
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2003, Uppsala, Sweden, August 28, 2003 |
Haskell |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Robert Ennals, Simon L. Peyton Jones |
HsDebug: debugging lazy programs by not being lazy. |
Haskell |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Jerzy Karczmarczuk |
Structure and interpretation of quantum mechanics: a functional framework. |
Haskell |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Huiqing Li, Claus Reinke, Simon J. Thompson |
Tool support for refactoring functional programs. |
Haskell |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Richard S. Bird, Ralf Hinze |
Functional Pearl trouble shared is trouble halved. |
Haskell |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Antony Courtney, Henrik Nilsson, John Peterson |
The Yampa arcade. |
Haskell |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Peter Thiemann 0001 |
XML templates and caching in WASH. |
Haskell |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Valery Trifonov |
Simulating quantified class constraints. |
Haskell |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Manuel M. T. Chakravarty (eds.) |
Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, Haskell 2002, Pittsburgh, Pennsylvania, USA, October 3, 2002 |
Haskell |
2002 |
DBLP DOI BibTeX RDF |
|
50 | Koen Claessen, John Hughes 0001 |
Testing monadic code with QuickCheck. |
Haskell |
2002 |
DBLP DOI BibTeX RDF |
|
50 | Henrik Nilsson, Antony Courtney, John Peterson |
Functional reactive programming, continued. |
Haskell |
2002 |
DBLP DOI BibTeX RDF |
|
50 | James Cheney, Ralf Hinze |
A lightweight implementation of generics and dynamics. |
Haskell |
2002 |
DBLP DOI BibTeX RDF |
|
50 | Graham Hutton (eds.) |
Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, Haskell 2000, Satellite Event of PLI 2000, Montreal, Canada, September 17, 2000 |
Haskell |
2000 |
DBLP BibTeX RDF |
|
50 | Chris Okasaki |
An Overview of Edison. |
Haskell |
2000 |
DBLP DOI BibTeX RDF |
|
50 | Ralf Hinze, Simon L. Peyton Jones |
Derivable Type Classes. |
Haskell |
2000 |
DBLP DOI BibTeX RDF |
|
50 | S. Doaitse Swierstra |
Combinator Parsers - From Toys to Tools. |
Haskell |
2000 |
DBLP DOI BibTeX RDF |
|
50 | Graham Hutton |
Preface. |
Haskell |
2000 |
DBLP DOI BibTeX RDF |
|
50 | Martin Erwig, Simon L. Peyton Jones |
Pattern Guards and Transformational Patterns. |
Haskell |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Christopher Brown 0002, Simon J. Thompson |
Clone detection and elimination for Haskell. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
hare, program transformation, program analysis, refactoring, haskell, generalisation, duplicated code |
48 | Michael Lesniak |
PASTHA: parallelizing stencil calculations in Haskell. |
DAMP |
2010 |
DBLP DOI BibTeX RDF |
sequence scoring, haskell, stencil |
48 | Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad |
Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. |
DAMP |
2009 |
DBLP DOI BibTeX RDF |
eden, multicore parallelism, haskell, algorithmic skeletons |
48 | Curt J. Sampson |
Experience report: Haskell in the 'real world': writing a commercial application in a lazy functional lanuage. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
commercial programming, financial systems, functional programming, haskell |
48 | Cristian Perfumo, Nehir Sönmez, Srdjan Stipic, Osman S. Unsal, Adrián Cristal, Tim Harris 0001, Mateo Valero |
The limits of software transactional memory (STM): dissecting Haskell STM applications on a many-core environment. |
Conf. Computing Frontiers |
2008 |
DBLP DOI BibTeX RDF |
transactional memory, haskell, instrumentation |
48 | Jonathan Cooper, Steve McKeever |
Experience report: a Haskell interpreter for cellML. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
cellML, haskell |
48 | Simon L. Peyton Jones |
Call-pattern specialisation for haskell programs. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
compilers, optimisation, haskell, specialisation |
48 | Martin Leucker, Thomas Noll 0001, Perdita Stevens, Michael Weber 0002 |
Functional programming languages for verification tools: a comparison of Standard ML and Haskell. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Language adequacy, Haskell, ML, Verification tools, Functional programming languages |
48 | Bernd Braßel, Frank Huch |
Translating curry to haskell system demo. |
WCFLP |
2005 |
DBLP DOI BibTeX RDF |
compiler, haskell, translation, curry |
48 | Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, Ronald Lyndon While |
Exploring the barrier to entry: incremental generational garbage collection for Haskell. |
ISMM |
2004 |
DBLP DOI BibTeX RDF |
non-stop haskell, incremental garbage collection |
48 | Jan Christiansen, Frank Huch |
Searching for deadlocks while debugging concurrent haskell programs. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
concurrent haskell, detecting deadlocks, debugging, deadlock |
48 | Olivier Danvy, Morten Rhiger |
A Simple Take on Typed Abstract Syntax in Haskell-like Languages. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
Type-directed partial evaluation, normalization functions, simply typed lambda-calculus, Haskell, higher-order abstract syntax |
48 | Koen Claessen, John Hughes 0001 |
QuickCheck: a lightweight tool for random testing of Haskell programs. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
Haskell |
48 | José E. Gallardo, Francisco Gutiérrez, Blas C. Ruiz |
Inheritance and Selective Methods Dispatching in Concurrent Haskell. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
guarded methods, functional programming, Haskell, inheritance anomaly, Concurrent objects |
45 | Liwen Huang, Paul Hudak, John Peterson |
HPorter: Using Arrows to Compose Parallel Processes. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Sigbjørn Finne, Daan Leijen, Erik Meijer 0001, Simon L. Peyton Jones |
Calling Hell From Heaven and Heaven From Hell. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
44 | David M. Goblirsch |
An introduction to Haskell with applications to digital signal processing. |
SAC |
1994 |
DBLP DOI BibTeX RDF |
functional programming, digital signal-processing, Haskell, Haskell |
43 | Yoshihiro Oyama, Yoshiki Kaneko, Hideya Iwasaki |
Kenro: a virtual machine monitor mostly described in Haskell. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
functional languages, virtual machine monitors |
43 | Nalini Vasudevan, Satnam Singh, Stephen A. Edwards |
A deterministic multi-way rendezvous library for haskell. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
43 | Martin Sulzmann, Kenny Zhuo Ming Lu |
XHaskell - Adding Regular Expression Types to Haskell. |
IFL |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Jürgen Giesl, Stephan Swiderski, Peter Schneider-Kamp, René Thiemann |
Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Huiqing Li, Simon J. Thompson |
Comparative Study of Refactoring Haskell and Erlang Programs. |
SCAM |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Frank Huch, Frank Kupke |
A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell. |
IFL |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Steffen Priebe |
Preprocessing Eden with Template Haskell. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Ulf Norell, Patrik Jansson |
Prototyping Generic Programming in Template Haskell. |
MPC |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Ralf Hinze, Johan Jeuring |
Generic Haskell: Applications. |
Generic Programming |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Ralf Hinze, Johan Jeuring |
Generic Haskell: Practice and Theory. |
Generic Programming |
2003 |
DBLP DOI BibTeX RDF |
|
43 | William L. Harrison, Tim Sheard, James Hook |
Fine Control of Demand in Haskell. |
MPC |
2002 |
DBLP DOI BibTeX RDF |
|
43 | Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Ricardo Massa Ferreira Lima |
Translating Haskell# Programs into Petri Nets. |
VECPAR |
2002 |
DBLP DOI BibTeX RDF |
|
43 | Manuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, Wolf Pfannenstiel |
Nepal - Nested Data Parallelism in Haskell. |
Euro-Par |
2001 |
DBLP DOI BibTeX RDF |
|
43 | Jonas Holmerin, Björn Lisper |
Development of Parallel Algorithms in Data Field Haskell (Research Note). |
Euro-Par |
2000 |
DBLP DOI BibTeX RDF |
|
43 | Einar W. Karlsen, Stefan Westmeier |
Using Concurrent Haskell to Develop Views over an Active Repository. |
Implementation of Functional Languages |
1997 |
DBLP DOI BibTeX RDF |
|
41 | Stephanie Weirich, Chris Casinghino |
Arity-generic datatype-generic programming. |
PLPV |
2010 |
DBLP DOI BibTeX RDF |
agda, arity-generic programming, generic haskell, dependent types |
41 | Huiqing Li, Simon J. Thompson |
Tool support for refactoring functional programs. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
hare, static/dynamic semantics, wrangler, program transformation, program analysis, refactoring, haskell, erlang |
41 | Ravi Nanavati |
Experience report: a pure shirt fits. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
functional programming, Haskell, monads, Bluespec |
41 | Henrik Nilsson |
Dynamic optimization for functional reactive programming using generalized algebraic data types. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
DSEL, FRP, Yampa, synchronous dataflow languages, functional programming, domain-specific languages, Haskell, reactive programming, GADT, combinator library, arrows |
41 | Levent Erkök, John Launchbury |
Recursive monadic bindings. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
Haskell |
39 | Paul Tarau |
Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
Ackermann encoding, Haskell data representations, computational mathematics, hereditarily finite functions, hereditarily finite sets, ranking/unranking |
39 | Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier |
Type invariants for Haskell. |
PLPV |
2009 |
DBLP DOI BibTeX RDF |
type families, type functions, haskell, type checking |
39 | Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz |
A comparison of c++ concepts and haskell type classes. |
ICFP-WGP |
2008 |
DBLP DOI BibTeX RDF |
specification-driven development, c++, haskell, generic programming, concepts, type classes |
39 | Lennart Augustsson, Howard Mansell, Ganesh Sittampalam |
Paradise: a two-stage DSL embedded in Haskell. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
dsels, paradise, Haskell, metaprogramming |
39 | Mark Sherriff, Nachiappan Nagappan, Laurie A. Williams, Mladen A. Vouk |
Early estimation of defect density using an in-process Haskell metrics model. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
software quality, haskell, empirical software engineering, multiple regression |
39 | Mark Sherriff, Nachiappan Nagappan, Laurie A. Williams, Mladen A. Vouk |
Early estimation of defect density using an in-process Haskell metrics model. |
A-MOST |
2005 |
DBLP DOI BibTeX RDF |
software quality, haskell, empirical software engineering, multiple regression |
39 | George Russell |
Events in Haskell, and How to Implement Them. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
Haskell |
39 | Simon Marlow, Simon L. Peyton Jones, Andrew Moran, John H. Reppy |
Asynchronous Exceptions in Haskell. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
Haskell |
39 | Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, Ronald Lyndon While |
Non-stop Haskell. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
Haskell |
39 | John Peterson |
Microsoft and Yale Conclude Agreement to License Technology for Haskell. |
ACM SIGPLAN Notices |
1999 |
DBLP DOI BibTeX RDF |
Haskell |
39 | Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh |
Lava: Hardware Design in Haskell. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
Haskell |
37 | Ben Denckla |
Many cyclic block diagrams do not need parallel semantics. |
ACM SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
semantics, haskell, Haskell, esterel, block diagrams, ptolemy |
36 | Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos |
A back-end for GHC based on categorical multi-combinators. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Ralf Lämmel, Joost Visser 0001 |
A Strafunski Application Letter. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
Strafunski, Generic traversal, External components, Program transformation, Program analysis, Functional programming, Language processing, Interchange formats |
36 | Amanda Clare, Ross D. King |
Data Mining the Yeast Genome in a Lazy Functional Language. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Ralf Hinze |
A New Approach to Generic Functional Programming. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
36 | Richard Kelsey, William D. Clinger, Jonathan Rees |
Revised5 Report on the Algorithmic Language Scheme. |
ACM SIGPLAN Notices |
1998 |
DBLP DOI BibTeX RDF |
SCHEME |
36 | Guy L. Steele Jr. |
Building Interpreters by Composing Monads. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
34 | Iavor S. Diatchki (eds.) |
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017 |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller |
Streaming irregular arrays. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Dmitrij Szamozvancev, Michael B. Gale |
Well-typed music does not sound wrong (experience report). |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Jennifer Paykin, Steve Zdancewic |
The linearity Monad. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone |
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Anton Ekblad |
A meta-EDSL for distributed web applications. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Leonidas Lampropoulos, Antal Spector-Zabusky, Kenneth Foner |
Ode on a random urn (functional pearl). |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Didier Rémy |
Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk). |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Rudy Braquehais, Colin Runciman |
Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Ryan Yates, Michael L. Scott |
Improving STM performance with transactional structs. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Mario Blazevic, Jacques Légaré |
Packrats parse in packs. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler |
Quantified class constraints. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Justin Dawson, Mark Grebe, Andy Gill |
Composable network stacks and remote monads. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Andrey Mokhov |
Algebraic graphs with class (functional pearl). |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Ivan Perez 0001 |
Back to the future: time travel in FRP. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Georgios Karachalias, Tom Schrijvers |
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Wouter Swierstra (eds.) |
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014 |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Nicolas Wu, Tom Schrijvers, Ralf Hinze |
Effect handlers in scope. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Deian Stefan, Amit Levy, Alejandro Russo, David Mazières |
Building secure systems with LIO (demo). |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Amit A. Levy, David Terei, Deian Stefan, David Mazières |
Demo proposal: making web applications -XSafe. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Niki Vazou, Eric L. Seidel, Ranjit Jhala |
LiquidHaskell: experience with refinement types in the real world. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 1556 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|