Search results for "Haskell"

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