Search results for "haskell"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
186	Krasimir Angelov, Simon Marlow	Visual haskell: a full-featured haskell development environment.	Haskell	2005	DBLP DOI BibTeX RDF	haskell development environment, visual studio
153	Isaac Jones	Haskell' status report.	Haskell	2006	DBLP DOI BibTeX RDF	haskell prime, haskell standard, haskell
134	Koji Kagawa	Polymorphic variants in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	polymorphic variants, Haskell, extensibility, type classes
131	Jean-Philippe Bernardy	Yi: an editor in haskell for haskell.	Haskell	2008	DBLP DOI BibTeX RDF	functional programming, haskell, editor
125	Riccardo Pucella, Jesse A. Tov	Haskell session types with (almost) no class.	Haskell	2008	DBLP DOI BibTeX RDF	embedded type systems, phantom types, concurrency, functional programming, haskell, type classes, session types
123	David Himmelstrup	Interactive debugging with GHCi.	Haskell	2006	DBLP DOI BibTeX RDF	interactive, debugging, Haskell, Haskell, breakpoints
120	Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon 0001	A compositional theory for STM Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	transactional memory, compositional reasoning, ambient calculus
120	Duncan Coutts, Isaac Potoczny-Jones, Don Stewart	Haskell: batteries included.	Haskell	2008	DBLP DOI BibTeX RDF	distribution, functional programming
111	Dana N. Xu	Extended static checking for haskell.	Haskell	2006	DBLP DOI BibTeX RDF	counterexample guided unrolling, pre/postcondition, symbolic simplification
106	Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra	The architecture of the Utrecht Haskell compiler.	Haskell	2009	DBLP DOI BibTeX RDF	compiler architecture, haskell, attribute grammar, aspect orientation
106	Andreas Abel 0001, Marcin Benke, Ana Bove, John Hughes 0001, Ulf Norell	Verifying haskell programs using constructive type theory.	Haskell	2005	DBLP DOI BibTeX RDF	GHC core, monadic translation, verification, haskell, type theory, partiality
106	Martijn M. Schrage, Arjan van IJzendoorn, Linda C. van der Gaag	Haskell ready to dazzle the real world.	Haskell	2005	DBLP DOI BibTeX RDF	wxHaskell, bayesian networks, graphical user interface, application, haskell
101	Pericles S. Kariotis, Adam M. Procter, William L. Harrison	Making monads first-class with template haskell.	Haskell	2008	DBLP DOI BibTeX RDF	staged programming, domain-specific languages, monads
101	David Roundy	Darcs: distributed version management in haskell.	Haskell	2005	DBLP DOI BibTeX RDF
97	Neil C. C. Brown, Adam T. Sampson	Alloy: fast generic transformations for Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	haskell, generic programming, alloy
97	Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink	Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime.	Haskell	2008	DBLP DOI BibTeX RDF	left-corner transform, typed abstract syntax, typed transformations, type systems, haskell, meta programming, gadt, parser combinators
97	Andy Gill, Colin Runciman	Haskell program coverage.	Haskell	2007	DBLP DOI BibTeX RDF	software engineering, haskell, code coverage
97	Frederik Eaton	Statically typed linear algebra in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	higher-rank polymorphism, template Haskell, linear algebra, staging, existential types
97	Eric Kow	GenI: natural language generation in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	realisation, typeclasses, applications, profiling, Haskell, surface, monads, computational linguistics
97	Isaac Jones	Halfs: a haskell filesystem.	Haskell	2005	DBLP DOI BibTeX RDF	binary IO, haskell, filesystems
97	Niklas Broberg	Haskell server pages through dynamic loading.	Haskell	2005	DBLP DOI BibTeX RDF	dynamic web pages, haskell, web server
95	Oleg Kiselyov, Chung-chieh Shan	Lightweight monadic regions.	Haskell	2008	DBLP DOI BibTeX RDF	resource management, type systems, subtyping, monads, regions, type classes, parametric polymorphism, effect systems
93	Andres Löh, Dave Clarke 0001, Johan Jeuring	Dependency-style generic Haskell.	ICFP	2003	DBLP DOI BibTeX RDF	generic haskell, functional programming, type systems, generic programming
92	Don Jones Jr., Simon Marlow, Satnam Singh	Parallel performance tuning for Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	parallel profiling, functional programming
92	Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira	Comparing libraries for generic programming in haskell.	Haskell	2008	DBLP DOI BibTeX RDF	libraries comparison, datatype-generic programming
92	Geoffrey Mainland	Why it's nice to be quoted: quasiquoting for haskell.	Haskell	2007	DBLP DOI BibTeX RDF	quasiquoting, meta programming
92	Peter Thiemann 0001	User-level transactional programming in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF
91	Neil Mitchell, Colin Runciman	Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching.	Haskell	2008	DBLP DOI BibTeX RDF	pattern-match errors, functional programming, haskell, preconditions, automatic verification
91	Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach	Lightweight concurrency primitives for GHC.	Haskell	2007	DBLP DOI BibTeX RDF	concurrency, transactional memory, haskell, thread
91	Don Stewart, Spencer Sjanssen	Xmonad.	Haskell	2007	DBLP DOI BibTeX RDF	functional programming, haskell
91	Alexandra Silva 0001, Joost Visser 0001	Strong types for relational databases.	Haskell	2006	DBLP DOI BibTeX RDF	functional dependency theory, type-level programming, relational databases, SQL, Haskell
88	Martin Grabmüller, Dirk Kleeblatt	Harpy: run-time code generation in haskell.	Haskell	2007	DBLP DOI BibTeX RDF	haskell, dynamic code generation
83	Lee Pike, Geoffrey M. Brown, Alwyn Goodloe	Roll your own test bed for embedded real-time protocols: a haskell experience.	Haskell	2009	DBLP DOI BibTeX RDF	physical-layer protocol testing, functional programming, emulation
83	Alejandro Russo, Koen Claessen, John Hughes 0001	A library for light-weight information-flow security in haskell.	Haskell	2008	DBLP DOI BibTeX RDF	information-flow, library, monad, declassification
83	Simon Marlow, José Iborra, Bernard J. Pope, Andy Gill	A lightweight interactive debugger for haskell.	Haskell	2007	DBLP DOI BibTeX RDF	debugging, lazy evaluation
83	Louis-Julien Guillemette, Stefan Monnier	A type-preserving closure conversion in haskell.	Haskell	2007	DBLP DOI BibTeX RDF	compilation, higher-order abstract syntax, typed assembly language, de bruijn
83	Andy Gill	Introducing the Haskell equational reasoning assistant.	Haskell	2006	DBLP DOI BibTeX RDF	ajax applications, transformation tools, equational reasoning
83	Tim Harris 0001, Simon Marlow, Simon L. Peyton Jones	Haskell on a shared-memory multiprocessor.	Haskell	2005	DBLP DOI BibTeX RDF
81	Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman 0001, Ulf Norell	Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs.	Haskell	2022	DBLP DOI BibTeX RDF
81	Finn Teegen, Kai-Oliver Prott, Niels Bunkenburg	Haskell⁻¹: automatic function inversion in Haskell.	Haskell	2021	DBLP DOI BibTeX RDF
81	Simon Marlow	Developing High-Performance Server Applications in Haskell - Case Study: A Haskell Web Server.	Haskell	2000	DBLP DOI BibTeX RDF
77	Iavor S. Diatchki, Mark P. Jones	Strongly typed memory areas programming systems-level data structures in a functional language.	Haskell	2006	DBLP DOI BibTeX RDF	memory areas, memory manipulation, data representation, improvement, systems programming, qualified types
75	Florian Haftmann	From higher-order logic to Haskell: there and back again.	PEPM	2010	DBLP DOI BibTeX RDF	code generation, theorem proving, haskell, higher-order logic, isabelle
75	Sigbjørn Finne, Daan Leijen, Erik Meijer 0001, Simon L. Peyton Jones	H/Direct: A Binary Foreign Language Interface for Haskell.	ICFP	1998	DBLP DOI BibTeX RDF	Haskell, IDL
74	Andy Gill	Type-safe observable sharing in Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	DSL compilation, observable sharing
74	Deling Ren, Martin Erwig	A generic recursion toolbox for Haskell or: scrap your boilerplate systematically.	Haskell	2006	DBLP DOI BibTeX RDF	traversal strategy, generic programming
73	Neil Mitchell, Colin Runciman	Losing functions without gaining data: another look at defunctionalisation.	Haskell	2009	DBLP DOI BibTeX RDF	defunctionalisation, firstification, haskell
73	Mark P. Jones, Iavor S. Diatchki	Language and program design for functional dependencies.	Haskell	2008	DBLP DOI BibTeX RDF	type functions, relational databases, haskell, type inference, functional dependencies, qualified types
73	Simon Marlow	An extensible dynamically-typed hierarchy of exceptions.	Haskell	2006	DBLP DOI BibTeX RDF	Haskell, exceptions
73	Tim Sheard	Putting curry-howard to work.	Haskell	2005	DBLP DOI BibTeX RDF	extensional kind system, logic, haskell, GADT, curry-howard isomorphism
73	Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer	There and back again: arrows for invertible programming.	Haskell	2005	DBLP DOI BibTeX RDF	invertible program construction, haskell, polytypic programming, arrows
70	André T. H. Pang, Manuel M. T. Chakravarty	Interfacing Haskell with Object-Oriented Languages.	IFL	2003	DBLP DOI BibTeX RDF
70	Nicholas Nethercote, Alan Mycroft	The cache behaviour of large lazy functional programs on stock hardware.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	Glasgow Haskell Compiler, cache measurement, Haskell, Haskell, cache simulation, hardware counters, branch misprediction
68	Tristan Oliver Richard Allwood, Simon L. Peyton Jones, Susan Eisenbach	Finding the needle: stack traces for GHC.	Haskell	2009	DBLP DOI BibTeX RDF	stack trace, debugging
68	George Giorgidze, Henrik Nilsson	Demo outline: switched-on yampa.	Haskell	2007	DBLP DOI BibTeX RDF	computer music, functional reactive programming
68	Stephanie Weirich	RepLib: a library for derivable type classes.	Haskell	2006	DBLP DOI BibTeX RDF	representation types, type-indexed programming, GADT, datatype-generic programming
66	Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra	Attribute grammars fly first-class: how to do aspect oriented programming in Haskell.	ICFP	2009	DBLP DOI BibTeX RDF	HList, class system, type-level programming, Haskell, attribute grammars, lazy evaluation
66	F. H. Carvalho, Ricardo Massa Ferreira Lima, Rafael Dueire Lins	Coordinating functional processes with Haskell#.	SAC	2002	DBLP DOI BibTeX RDF	parallel functional programming, parallel software engineering, coordination, Haskell
66	Linda B. Sherrell, Doris L. Carver	FunZ Designs A Bridge between Z Specifications and Haskell Implementations.	COMPSAC	1995	DBLP DOI BibTeX RDF	intermediate specification language, Formal methods, functional programming, Haskell, software design, Z specifications
65	Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen	HasTEE: Programming Trusted Execution Environments with Haskell.	Haskell	2023	DBLP DOI BibTeX RDF
65	Ningning Xie	Haskell for Choice-Based Learning (Keynote).	Haskell	2023	DBLP DOI BibTeX RDF
65	Takato Otsuka, Hideya Iwasaki	Haskell Library for Safer Virtual Machine Introspection (Experience Report).	Haskell	2023	DBLP DOI BibTeX RDF
65	Edsko de Vries	falsify: Internal Shrinking Reimagined for Haskell.	Haskell	2023	DBLP DOI BibTeX RDF
65	Celeste Hollenbeck, Michael F. P. O'Boyle, Michel Steuwer	Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler.	Haskell	2022	DBLP DOI BibTeX RDF
65	Lykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou	Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell.	Haskell	2022	DBLP DOI BibTeX RDF
65	Niki Vazou, Michael Greenberg 0002	How to safely use extensionality in Liquid Haskell.	Haskell	2022	DBLP DOI BibTeX RDF
65	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.	Haskell	2022	DBLP DOI BibTeX RDF
65	Rudy Matela	Express: applications of dynamically typed Haskell expressions.	Haskell	2021	DBLP DOI BibTeX RDF
65	Wen Kokke, Ornela Dardha	Deadlock-free session types in linear Haskell.	Haskell	2021	DBLP DOI BibTeX RDF
65	Alejandro Serrano 0001, Flavio Corpa	Describing microservices using modern Haskell (experience report).	Haskell@ICFP	2020	DBLP DOI BibTeX RDF
65	Armando Santos, José N. Oliveira	Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl).	Haskell@ICFP	2020	DBLP DOI BibTeX RDF
65	Ningning Xie, Daan Leijen	Effect handlers in Haskell, evidently.	Haskell@ICFP	2020	DBLP DOI BibTeX RDF
65	Nachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen	Towards secure IoT programming in Haskell.	Haskell@ICFP	2020	DBLP DOI BibTeX RDF
65	Noam Zilberstein	Eliminating bugs with dependent Haskell (experience report).	Haskell@ICFP	2020	DBLP DOI BibTeX RDF
65	Sander Kamps, Bastiaan Heeren, Johan Jeuring	Assessing the quality of evolving Haskell systems by measuring structural inequality.	Haskell@ICFP	2020	DBLP DOI BibTeX RDF
65	William T. Hallahan, Anton Xue, Ruzica Piskac	G2Q: Haskell constraint solving.	Haskell@ICFP	2019	DBLP DOI BibTeX RDF
65	Jan Christiansen, Sandra Dylus, Niels Bunkenburg	Verifying effectful Haskell programs in Coq.	Haskell@ICFP	2019	DBLP DOI BibTeX RDF
65	Dominique Devriese	Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study.	Haskell@ICFP	2019	DBLP DOI BibTeX RDF
65	Martin A. T. Handley, Graham Hutton	AutoBench: comparing the time performance of Haskell programs.	Haskell@ICFP	2018	DBLP DOI BibTeX RDF
65	Thomas Winant, Dominique Devriese	Coherent explicit dictionary application for Haskell.	Haskell@ICFP	2018	DBLP DOI BibTeX RDF
65	Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton	Theorem proving for all: equational reasoning in liquid Haskell (functional pearl).	Haskell@ICFP	2018	DBLP DOI BibTeX RDF
65	Sam Lindley, J. Garrett Morris	Embedding session types in Haskell.	Haskell	2016	DBLP DOI BibTeX RDF
65	Anton Ekblad	High-performance client-side web applications through Haskell EDSLs.	Haskell	2016	DBLP DOI BibTeX RDF
65	Kazuhiko Yamamoto	Experience report: developing high performance HTTP/2 server in Haskell.	Haskell	2016	DBLP DOI BibTeX RDF
65	Philip Dexter, Yu David Liu, Kenneth Chiu	Lazy graph processing in Haskell.	Haskell	2016	DBLP DOI BibTeX RDF
65	Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov	Desugaring Haskell's do-notation into applicative operations.	Haskell	2016	DBLP DOI BibTeX RDF
65	Matthew Le, Ryan Yates, Matthew Fluet	Revisiting software transactional memory in Haskell.	Haskell	2016	DBLP DOI BibTeX RDF
65	Jeff Polakow	Embedding a full linear Lambda calculus in Haskell.	Haskell	2015	DBLP DOI BibTeX RDF
65	Michael Walker 0004, Colin Runciman	Déjà Fu: a concurrency testing library for Haskell.	Haskell	2015	DBLP DOI BibTeX RDF
65	Adam Gundry	A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell.	Haskell	2015	DBLP DOI BibTeX RDF
65	Iavor S. Diatchki	Improving Haskell types with SMT.	Haskell	2015	DBLP DOI BibTeX RDF
65	Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg	Injective type families for Haskell.	Haskell	2015	DBLP DOI BibTeX RDF
65	Michael D. Adams 0001, Thomas DuBuisson	Template your boilerplate: using template haskell for efficient generic programming.	Haskell	2012	DBLP DOI BibTeX RDF
65	David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières	Safe haskell.	Haskell	2012	DBLP DOI BibTeX RDF
65	Jeff Epstein, Andrew P. Black, Simon L. Peyton Jones	Towards Haskell in the cloud.	Haskell	2011	DBLP DOI BibTeX RDF
65	Ben Lippmeier, Gabriele Keller	Efficient parallel stencil convolution in Haskell.	Haskell	2011	DBLP DOI BibTeX RDF
65	Edwin M. Westbrook, Nicolas Frisby, Paul Brauner	Hobbits for Haskell: a library for higher-order encodings in functional programming languages.	Haskell	2011	DBLP DOI BibTeX RDF
65	Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières	Flexible dynamic information flow control in Haskell.	Haskell	2011	DBLP DOI BibTeX RDF
65	John H. G. van Groningen, Thomas van Noort, Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer	Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler.	Haskell	2010	DBLP DOI BibTeX RDF
65	Simon Marlow, Patrick Maier 0001, Hans-Wolfgang Loidl, Mustafa Aswad, Philip W. Trinder	Seq no more: better strategies for parallel Haskell.	Haskell	2010	DBLP DOI BibTeX RDF