Search results for "Haskell"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Haskell B. Curry	The Combinatory Foundations of Mathematical Logic.	J. Symb. Log.	1942	DBLP DOI BibTeX RDF
25	Haskell B. Curry	A Revision of the Fundamental Rules of Combinatory Logic.	J. Symb. Log.	1941	DBLP DOI BibTeX RDF
25	Haskell B. Curry	Consistency and Completeness of the Theory of Combinators.	J. Symb. Log.	1941	DBLP DOI BibTeX RDF
25	Haskell B. Curry	On the Use of Dots as Brackets in Logical Expressions.	J. Symb. Log.	1937	DBLP DOI BibTeX RDF
25	Florian Stenger, Janis Voigtländer	Parametricity for Haskell with Imprecise Error Semantics.	TLCA	2009	DBLP DOI BibTeX RDF
25	Martin Sulzmann, Edmund S. L. Lam, Simon Marlow	Comparing the performance of concurrent linked-list implementations in Haskell.	DAMP	2009	DBLP DOI BibTeX RDF	concurrent linked list, performance, synchronization
25	Arnar Birgisson, Úlfar Erlingsson	An implementation and semantics for transactional memory introspection in Haskell.	PLAS	2009	DBLP DOI BibTeX RDF	transactional memory, reference monitors
25	Andy Gill	A Haskell Hosted DSL for Writing Transformation Systems.	DSL	2009	DBLP DOI BibTeX RDF
25	Stefan Wehr, Manuel M. T. Chakravarty	ML Modules and Haskell Type Classes: A Constructive Comparison.	APLAS	2008	DBLP DOI BibTeX RDF
25	Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev	Libraries for Generic Programming in Haskell.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
25	Duncan Coutts, Don Stewart, Roman Leshchinskiy	Rewriting Haskell Strings.	PADL	2007	DBLP DOI BibTeX RDF	Program fusion, Functional programming, Deforestation
25	Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch 0002, Christian Müller	Algebraic Knowledge Discovery Using Haskell.	PADL	2007	DBLP DOI BibTeX RDF
25	Neil Mitchell, Colin Runciman	A Supercompiler for Core Haskell.	IFL	2007	DBLP DOI BibTeX RDF
25	Ta-Chung Tsai, Alejandro Russo, John Hughes 0001	A Library for Secure Multi-threaded Information Flow in Haskell.	CSF	2007	DBLP DOI BibTeX RDF
25	Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow	Data parallel Haskell: a status report.	DAMP	2007	DBLP DOI BibTeX RDF
25	Edmund S. L. Lam, Martin Sulzmann	A concurrent constraint handling rules implementation in Haskell with software transactional memory.	DAMP	2007	DBLP DOI BibTeX RDF	parallel implementation of concurrent language
25	Olaf Chitil, Frank Huch	Monadic, Prompt Lazy Assertions in Haskell.	APLAS	2007	DBLP DOI BibTeX RDF
25	Paul Hudak, John Hughes 0001, Simon L. Peyton Jones, Philip Wadler	A history of Haskell: being lazy with class.	HOPL	2007	DBLP DOI BibTeX RDF
25	Olaf Chitil, Frank Huch	A Pattern Logic for Prompt Lazy Assertions in Haskell.	IFL	2006	DBLP DOI BibTeX RDF
25	Anthony Discolo, Tim Harris 0001, Simon Marlow, Simon L. Peyton Jones, Satnam Singh	Lock Free Data Structures Using STM in Haskell.	FLOPS	2006	DBLP DOI BibTeX RDF
25	Alberto de la Encina, Luis Llana, Fernando Rubio 0001	Formalizing the Debugging Process in Haskell.	ICTAC	2005	DBLP DOI BibTeX RDF
25	Lori Collins, Murray Gross, Paula A. Whitlock	Improving Performance of Distributed Haskell in Mosix Clusters.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
25	Sean Seefried, Manuel M. T. Chakravarty, Gabriele Keller	Optimising Embedded DSLs Using Template Haskell.	GPCE	2004	DBLP DOI BibTeX RDF
25	Atze Dijkstra, S. Doaitse Swierstra	Typing Haskell with an Attribute Grammar.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
25	Krzysztof Czarnecki 0001, John T. O'Donnell, Jörg Striegnitz, Walid Taha	DSL Implementation in MetaOCaml, Template Haskell, and C++.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
25	Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén	Continutation Semantics for Parallel Haskell Dialects.	APLAS	2003	DBLP DOI BibTeX RDF
25	Bernard J. Pope, Lee Naish	Practical aspects of declarative debugging in Haskell 98.	PPDP	2003	DBLP DOI BibTeX RDF	input and output, printing values, declarative debugging, resource usage
25	Malcolm Dowse, Glenn Strong, Andrew Butterfield	Proving Make Correct: I/O Proofs in Haskell and Clean.	IFL	2002	DBLP DOI BibTeX RDF
25	Natalia López, Manuel Núñez 0001, Ismael Rodríguez, Fernando Rubio 0001	WHAT: Web-Based Haskell Adaptive Tutor.	AIMSA	2002	DBLP DOI BibTeX RDF	Education, e-learning, Intelligent Tutors
25	Fernando Arroyo, Carmen Luengo, Angel V. Baranda, Luis F. Mingo	A Software Simulation of Transition P Systems in Haskell.	WMC-CdeA	2002	DBLP DOI BibTeX RDF
25	Manuel M. T. Chakravarty, Gabriele Keller	An Approach to Fast Arrays in Haskell.	Advanced Functional Programming	2002	DBLP DOI BibTeX RDF
25	Malcolm Wallace, Colin Runciman	Haskell and XML: Generic Combinators or Type-Based Translation?	ICFP	1999	DBLP DOI BibTeX RDF
25	David J. King, Jon G. Hall, Philip W. Trinder	A Strategic Profiler for Glasgow Parallel Haskell.	IFL	1998	DBLP DOI BibTeX RDF
25	Silvia Breitinger, Ulrike Klusik, Rita Loogen	From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
25	David Wakeling	Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
25	Simon L. Peyton Jones	Compiling Haskell by Program Transformation: A Report from the Trenches.	ESOP	1996	DBLP DOI BibTeX RDF
25	Steven Anderson, Paul Hudak	Compilation of Haskell Array Comprehensions for Scientific Computing.	PLDI	1990	DBLP DOI BibTeX RDF
23	Lennart Augustsson	O, partial evaluator, where art thou?	PEPM	2010	DBLP DOI BibTeX RDF	applications, haskell, partial evaluator
23	Ivan Lazar Miljenovic	The SourceGraph program.	PEPM	2010	DBLP DOI BibTeX RDF	graph theory, static analysis, haskell, software analysis, call graph
23	Janis Voigtländer	Bidirectionalization for free! (Pearl).	POPL	2009	DBLP DOI BibTeX RDF	bidirectionalization, free theorems, program transformation, haskell, generic programming, relational parametricity, view-update problem
23	Rishiyur S. Nikhil	Using GPCE principles for hardware systems and accelerators: (bridging the gap to HW design).	GPCE	2009	DBLP DOI BibTeX RDF	bluespec systemverilog, bsv, energy efficient computing, fpga, high level synthesis, high performance computing, haskell, hardware accelerators, hardware/software codesign, term rewriting systems, hybrid computing
23	Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring	Generic programming with fixed points for mutually recursive datatypes.	ICFP	2009	DBLP DOI BibTeX RDF	mutually recursive datatypes, haskell, fixed points, datatype-generic programming
23	Pierre-Edouard Portier, Sylvie Calabretto	Creation and maintenance of multi-structured documents.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	overlapping hierarchies, digital libraries, haskell, xml
23	Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann	Type checking with open type functions.	ICFP	2008	DBLP DOI BibTeX RDF	type families, type functions, Haskell, type checking
23	Mark P. Jones	Experience report: playing the DSL card.	ICFP	2008	DBLP DOI BibTeX RDF	Timber, component configuration, functional programming, domain-specific languages, Haskell
23	David J. Duke, Rita Borgo, Colin Runciman, Malcolm Wallace	Experience report: visualizing data through functional pipelines.	ICFP	2008	DBLP DOI BibTeX RDF	visualization, evaluation, streaming, pipeline, Haskell
23	Paulo F. Silva 0001, José Nuno Oliveira	'Galculator': functional prototype of a Galois-connection based proof assistant.	PPDP	2008	DBLP DOI BibTeX RDF	point-free notation, haskell, DSL, Galois connections, proof assistant, GADT
23	Pablo Berdaguer, Alcino Cunha, Hugo Pacheco 0001, Joost Visser 0001	Coupled Schema Transformation and Data Conversion for XML and SQL.	PADL	2007	DBLP DOI BibTeX RDF	XML, SQL, Transformation, Haskell
23	Tim Harris 0001, Satnam Singh	Feedback directed implicit parallelism.	ICFP	2007	DBLP DOI BibTeX RDF	functional programming, haskell, implicit parallelism
23	Torsten Gipp, Jürgen Ebert	Functional Web Applications.	ICWE	2007	DBLP DOI BibTeX RDF	Web Application Modelling, Specification, Haskell, Functional Languages
23	Avik Sinha, Carol S. Smidts	HOTTest: A model-based test design technique for enhanced testing of domain-specific applications.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	HaskellDB, database-specific test case generation, domain-specific testing, test generation tools, domain-specific languages, Haskell, model-based testing, Test case generation
23	Martin Erwig, Steve Kollmansberger	Modeling Genome Evolution with a DSEL for Probabilistic Programming.	PADL	2006	DBLP DOI BibTeX RDF	Probabilistic Programming, Genome Evolution, Functional Programming, Haskell
23	Ralf Lämmel, Klaus Ostermann	Software extension and integration with type classes.	GPCE	2006	DBLP DOI BibTeX RDF	family polymorphism, framework integration, object adapter, software extension, tyranny of the dominant decomposition, haskell, type classes, software integration, multiple dispatch, expression problem
23	Björn Bringert, Aarne Ranta	A pattern for almost compositional functions.	ICFP	2006	DBLP DOI BibTeX RDF	dependent type theory, java, haskell, abstract syntax, traversal, visitor pattern
23	Chuan-Kai Lin	Programming monads operationally with Unimo.	ICFP	2006	DBLP DOI BibTeX RDF	unimo, haskell, monads, monad transformers
23	Andres Löh, Ralf Hinze	Open data types and open functions.	PPDP	2006	DBLP DOI BibTeX RDF	extensible data types, extensible exceptions, extensible functions, mutually recursive modules, functional programming, Haskell, generic programming, expression problem
23	Olaf Chitil	Pretty printing with lazy dequeues.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	lazy functional programming, Haskell
23	Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry	Backtracking, interleaving, and terminating monad transformers: (functional pearl).	ICFP	2005	DBLP DOI BibTeX RDF	control delimiters, logic programming, Prolog, streams, Haskell, continuations
23	Jeremy G. Siek, Andrew Lumsdaine	Essential language support for generic programming.	PLDI	2005	DBLP DOI BibTeX RDF	C++, Haskell, polymorphism, generic programming, standard ML
23	Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock	A comparative study of language support for generic programming.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, C++, generics, Haskell, polymorphism, generic programming, standard ML, C#, Eiffel
23	Robert Ennals, Simon L. Peyton Jones	Optimistic evaluation: an adaptive evaluation strategy for non-strict programs.	ICFP	2003	DBLP DOI BibTeX RDF	haskell, lazy evaluation, online profiling
23	Oleg Kiselyov	A Better XML Parser through Functional Programming.	PADL	2002	DBLP DOI BibTeX RDF	tree fold, Haskell, Scheme, traversal, XML parsing
23	Arthur I. Baars, S. Doaitse Swierstra	Typing dynamic typing.	ICFP	2002	DBLP DOI BibTeX RDF	Leibnitz' rule, quantified types, type equality, typed interpreters, Haskell, dynamic typing, coercions, static typing
23	Walter A. Risi, Pablo E. Martínez López, Daniel H. Marcos	HyCom: A Domain Specific Language for Hypermedia Application Development.	HICSS	2001	DBLP DOI BibTeX RDF	HyCom, functional framework, Haskell library, DSL, hypermedia authoring
23	Tim Sheard	Generic Unification via Two-Level Types and Parameterized Modules.	ICFP	2001	DBLP DOI BibTeX RDF	parameterized modules, Haskell, generic programs, unification
23	Ross Paterson	A New Notation for Arrows.	ICFP	2001	DBLP DOI BibTeX RDF	Haskell
23	Andrew Rock, David Billington	An Implementation of Propositional Plausible Logic.	ACSC	2000	DBLP DOI BibTeX RDF	Plausible logic, Artificial intelligence, Implementation, Haskell, Non-monotonic reasoning, Defeasible logic
23	Simon L. Peyton Jones, Jean-Marc Eber, Julian Seward	Composing contracts: an adventure in financial engineering, functional pearl.	ICFP	2000	DBLP DOI BibTeX RDF	Haskell, PEARL
23	Conal Elliott	An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	multimedia, animation, functional programming, domain-specific languages, Haskell, Graphics, temporal modeling, embedded languages
23	Christoph A. Herrmann, Jan Laitenberger, Christian Lengauer, Christian Schaller	Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining.	Euro-Par	1999	DBLP DOI BibTeX RDF	parallelization, functional programming, Haskell, skeletons, inlining, higher-order function
23	Enno Scholz	Imperative Streams - A Monadic Combinator Library for Synchronous Programming.	ICFP	1998	DBLP DOI BibTeX RDF	Haskell, monads, synchronous languages, interactive graphics
23	Philip Wadler	How to Declare an Imperative.	ACM Comput. Surv.	1997	DBLP DOI BibTeX RDF	functional programming, Haskell, monad
23	Simon J. Thompson	Where Do I Begin? A Problem Solving Approach in teaching Functional Programming.	PLILP	1997	DBLP DOI BibTeX RDF	palindrome recognition, Polya, Functional programming, Haskell, problem solving
23	Patrick M. Sansom, Simon L. Peyton Jones	Time and Space Profiling for Non-Strict Higher-Order Functional Languages.	POPL	1995	DBLP DOI BibTeX RDF	Haskell
23	Tobias Nipkow, Christian Prehofer	Type Checking Type Classes.	POPL	1993	DBLP DOI BibTeX RDF	Haskell
18	Brad Nemanich, Daniel E. Cooke, J. Nelson Rushton	SequenceL: transparency and multi-core parallelisms.	DAMP	2010	DBLP DOI BibTeX RDF	computational laws, sequencel, multi-core, transparency
18	Zhijing G. Mou, Hai Liu 0012, Paul Hudak	Compress-and-conquer for optimal multicore computing.	DAMP	2010	DBLP DOI BibTeX RDF	compress and conquer, parallel computing, functional programming, scan, divide and conquer, programming paradigm, multicore programming
18	Guy L. Steele Jr.	Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful.	ICFP	2009	DBLP DOI BibTeX RDF	associative operator, conjugate transform, tree, reduction, monoid
18	Matthew J. Sottile, Geoffrey C. Hulette, Allen D. Malony	Workflow representation and runtime based on lazy functional streams.	SC-WORKS	2009	DBLP DOI BibTeX RDF
18	André Rauber Du Bois, Marcos Echevarria	A Domain Specific Language for Composable Memory Transactions in Java.	DSL	2009	DBLP DOI BibTeX RDF
18	George Giorgidze, Henrik Nilsson	Switched-On Yampa.	PADL	2008	DBLP DOI BibTeX RDF	synchronous dataflow languages, hybrid systems, computer music, Functional Reactive Programming
18	Lukas Bulwahn, Alexander Krauss 0001, Florian Haftmann, Levent Erkök, John Matthews	Imperative Functional Programming with Isabelle/HOL.	TPHOLs	2008	DBLP DOI BibTeX RDF
18	Ralf Hinze	Exploiting Unique Fixed Points.	MPC	2008	DBLP DOI BibTeX RDF
18	Geoffrey Mainland, Greg Morrisett, Matt Welsh	Flask: staged functional programming for sensor networks.	ICFP	2008	DBLP DOI BibTeX RDF	meta programming
18	Wendy Verbruggen, Edsko de Vries, Arthur Hughes	Polytypic programming in COQ.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	kind-indexed types, theorem proving, generic programming, formalization, coq, polytypic programming
18	Laura Effinger-Dean, Matthew Kehrt, Dan Grossman	Transactional events for ML.	ICFP	2008	DBLP DOI BibTeX RDF	synchronous message passing, transactional events, concurrency
18	Janis Voigtländer	Semantics and Pragmatics of New Shortcut Fusion Rules.	FLOPS	2008	DBLP DOI BibTeX RDF
18	Ana Bove, Peter Dybjer	Dependent Types at Work.	LerNet ALFA Summer School	2008	DBLP DOI BibTeX RDF
18	João Paulo Fernandes, João Saraiva	Tools and libraries to model and manipulate circular programs.	PEPM	2007	DBLP DOI BibTeX RDF	intermediate data structures, multiple traversal algorithms, traversal scheduling, circular programming
18	Edwin C. Brady	Ivor, a Proof Engine.	IFL	2006	DBLP DOI BibTeX RDF
18	Kevin Donnelly, J. J. Hallett, Assaf J. Kfoury	Formal semantics of weak references.	ISMM	2006	DBLP DOI BibTeX RDF	weak references, garbage collection, formal semantics
18	Gustav Munkby, Andreas P. Priesnitz, Sibylle Schupp, Marcin Zalewski	Scrap++: scrap your boilerplate in C++.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	C++, extensibility, generic programming
18	Malcolm Dowse, Andrew Butterfield	Modelling deterministic concurrent I/O.	ICFP	2006	DBLP DOI BibTeX RDF	concurrency, determinism, effects, monads, I/O
18	Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer	Polytypic Syntax Tree Operations.	IFL	2005	DBLP DOI BibTeX RDF
18	Brian Huffman, John Matthews, Peter White	Axiomatic Constructor Classes in Isabelle/HOLCF.	TPHOLs	2005	DBLP DOI BibTeX RDF
18	Laurence Tratt	Compile-time meta-programming in a dynamically typed OO language.	DLS	2005	DBLP DOI BibTeX RDF
18	James Cheney	Scrap your nameplate: (functional pearl).	ICFP	2005	DBLP DOI BibTeX RDF	generic programming, binding, names, substitution
18	Alberto de la Encina, Ismael Rodríguez, Fernando Rubio 0001	Testing Speculative Work in a Lazy/Eager Parallel Functional Language.	LCPC	2005	DBLP DOI BibTeX RDF
18	Frank Atanassow, Johan Jeuring	Inferring Type Isomorphisms Generically.	MPC	2004	DBLP DOI BibTeX RDF
18	Kenny Zhuo Ming Lu, Martin Sulzmann	An Implementation of Subtyping Among Regular Expression Types.	APLAS	2004	DBLP DOI BibTeX RDF