Search results for "haskell"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Thomas Winant, Dominique Devriese	Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof.	CoRR	2018	DBLP BibTeX RDF
16	Niki Vazou, Joachim Breitner, Will Kunkel, David Van Horn, Graham Hutton	Functional Pearl: Theorem Proving for All (Equational Reasoning in Liquid Haskell).	CoRR	2018	DBLP BibTeX RDF
16	Andreas Arvidsson, Moa Johansson, Robin Touche	Proving Type Class Laws for Haskell.	CoRR	2018	DBLP BibTeX RDF
16	Johannes Waldmann	When You Should Use Lists in Haskell (Mostly, You Should Not).	CoRR	2018	DBLP BibTeX RDF
16	Kieran Clenaghan	In Praise of Sequence (Co-)Algebra and its implementation in Haskell.	CoRR	2018	DBLP BibTeX RDF
16	Hiromi Ishii	A Purely Functional Computer Algebra System Embedded in Haskell.	CoRR	2018	DBLP BibTeX RDF
16	Jan Stolarek, James Cheney	Language-integrated provenance in Haskell.	CoRR	2018	DBLP BibTeX RDF
16	Boldizsár Németh, Eunjong Choi, Erina Makihara, Hajimu Iida	Investigating Compilation Errors of Students Learning Haskell.	TFPIE@TFP	2018	DBLP DOI BibTeX RDF
16	Adam D. Barwell, Christopher Brown 0002, Kevin Hammond	Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification.	Future Gener. Comput. Syst.	2018	DBLP DOI BibTeX RDF
16	Gordon Stewart 0001, Samuel Merten, Logan Leland	Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell.	PADL	2018	DBLP DOI BibTeX RDF
16	Marcos Viera, Florent Balestrieri, Alberto Pardo	A Staged Embedding of Attribute Grammars in Haskell.	IFL	2018	DBLP DOI BibTeX RDF
16	Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Rodrigo Geraldo Ribeiro	Transactional Boosting on Glasgow Haskell Compiler.	WSCAD	2018	DBLP DOI BibTeX RDF
16	Rodrigo Medeiros Duarte, André Rauber Du Bois, Gerson Geraldo Homrich Cavalheiro, Maurício Lima Pilla	User-Level Transaction Scheduling in Haskell.	WSCAD	2018	DBLP DOI BibTeX RDF
16	Gilberto Melfe, Alcides Fonseca, João Paulo Fernandes	Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures.	SBLP	2018	DBLP DOI BibTeX RDF
16	Gilberto Melfe, Alcides Fonseca, João Paulo Fernandes	Helping developers write energy efficient Haskell through a data-structure evaluation.	GREENS@ICSE	2018	DBLP DOI BibTeX RDF
16	Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy	Authenticated modular maps in Haskell.	TyDe@ICFP	2018	DBLP DOI BibTeX RDF
16	Martin A. T. Handley, Graham Hutton	Improving Haskell.	TFP	2018	DBLP DOI BibTeX RDF
16	Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson	Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell.	TFP	2018	DBLP DOI BibTeX RDF
16	Folkert de Vries, Jorge A. Pérez 0001	Reversible Session-Based Concurrency in Haskell.	TFP	2018	DBLP DOI BibTeX RDF
16	Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich	Total Haskell is reasonable Coq.	CPP	2018	DBLP DOI BibTeX RDF
16	Hiromi Ishii	A Purely Functional Computer Algebra System Embedded in Haskell.	CASC	2018	DBLP DOI BibTeX RDF
16	Stephanie Weirich, Antoine Voizard, Pedro Henrique Azevedo de Amorim, Richard A. Eisenberg	A specification for dependent types in Haskell.	Proc. ACM Program. Lang.	2017	DBLP DOI BibTeX RDF
16	Takuya Matsumoto, Kiminori Matsuzaki	Evaluation of Libraries for Parallel Computing in Haskell - A Case Study with a Super-resolution Application.	J. Inf. Process.	2017	DBLP DOI BibTeX RDF
16	Alex Gerdes, Bastiaan Heeren, Johan Jeuring, L. Thomas van Binsbergen	Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback.	Int. J. Artif. Intell. Educ.	2017	DBLP DOI BibTeX RDF
16	Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack	Linear Haskell: practical linearity in a higher-order polymorphic language.	CoRR	2017	DBLP BibTeX RDF
16	Ting-Yan Lai, Tyng-Ruey Chuang, Shin-Cheng Mu	Type Safe Redis Queries: A Case Study of Type-Level Programming in Haskell.	CoRR	2017	DBLP BibTeX RDF
16	Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton	Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping.	CoRR	2017	DBLP BibTeX RDF
16	Jeremy Singer, Blair Archibald	Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers.	TFPIE@TFP	2017	DBLP DOI BibTeX RDF
16	Antal Spector-Zabusky, Joachim Breitner, Christine Rizkallah, Stephanie Weirich	Total Haskell is Reasonable Coq.	CoRR	2017	DBLP BibTeX RDF
16	Mihai Maruseac	Haskell a language for modern times.	XRDS	2017	DBLP DOI BibTeX RDF
16	Matteo Di Pirro, Mauro Conti, Riccardo Lazzeretti	Ensuring information security by using Haskell's advanced type system.	ICCST	2017	DBLP DOI BibTeX RDF
16	Maximilian Algehed, Alejandro Russo	Encoding DCC in Haskell.	PLAS@CCS	2017	DBLP DOI BibTeX RDF
16	Julie Greensmith, Michael B. Gale	The Functional Dendritic Cell Algorithm: A formal specification with Haskell.	CEC	2017	DBLP DOI BibTeX RDF
16	Ismael Figueroa	A preliminary assessment of how monads are used in Haskell.	SBLP	2017	DBLP DOI BibTeX RDF
16	Geoffrey Mainland, Jeremy Johnson 0001	A Haskell compiler for signal transforms.	GPCE	2017	DBLP DOI BibTeX RDF
16	Christopher Blöcker, Ulrich Hoffmann	Pardis: A Process Calculus for Parallel and Distributed Programming in Haskell.	PPAM (2)	2017	DBLP DOI BibTeX RDF
16	Mark Juchli, Lars Krombeen, Shashank Rao, Chak Shun Yu, Anand Ashok Sawant, Alberto Bacchelli	Mining Motivated Trends of Usage of Haskell Libraries.	WAPI@ICSE	2017	DBLP DOI BibTeX RDF
16	Michael Vollmer 0003, Ryan G. Scott, Madanlal Musuvathi, Ryan R. Newton	SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap.	PPoPP	2017	DBLP DOI BibTeX RDF
16	Edward Z. Yang	Backpack: towards practical mix-in linking in Haskell.		2017	RDF
16	Stephen Adams 0002	Data-driven refactorings for Haskell.		2017	RDF
16	Rodrigo Medeiros Duarte, André Rauber Du Bois, Maurício Lima Pilla, Renata Hax Sander Reiser	Comparando o Desempenho de Implementações de Tabelas Hash Concorrentes em Haskell.	RITA	2016	DBLP DOI BibTeX RDF
16	Scott N. Walck	Learn Quantum Mechanics with Haskell.	TFPIE	2016	DBLP DOI BibTeX RDF
16	Ricardo Peña	An Introduction to Liquid Haskell.	PROLE	2016	DBLP DOI BibTeX RDF
16	Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin	A Formal, Resource Consumption-Preserving Translation of Actors to Haskell.	CoRR	2016	DBLP BibTeX RDF
16	Marino Miculan, Marco Peressotti	A Specification of Open Transactional Memory for Haskell.	CoRR	2016	DBLP BibTeX RDF
16	J. Garrett Morris	A Simple Semantics for Haskell Overloading.	CoRR	2016	DBLP BibTeX RDF
16	Niki Vazou, Jeff Polakow	Verified Parallel String Matching in Haskell.	CoRR	2016	DBLP BibTeX RDF
16	Alexandru Ghitza, Martin Westerholt-Raum	HLinear: Exact Dense Linear Algebra in Haskell.	CoRR	2016	DBLP BibTeX RDF
16	Richard A. Eisenberg	Dependent Types in Haskell: Theory and Practice.	CoRR	2016	DBLP BibTeX RDF
16	Ismael Figueroa, Nicolas Tabareau, Éric Tanter	Effect capabilities for Haskell: Taming effect interference in monadic programming.	Sci. Comput. Program.	2016	DBLP DOI BibTeX RDF
16	K. C. Sivaramakrishnan, Tim Harris 0001, Simon Marlow, Simon Peyton Jones	Composable scheduler activations for Haskell.	J. Funct. Program.	2016	DBLP DOI BibTeX RDF
16	Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, Stephanie Weirich	Safe zero-cost coercions for Haskell.	J. Funct. Program.	2016	DBLP DOI BibTeX RDF
16	Jost Berthold, Hans-Wolfgang Loidl, Kevin Hammond	PAEAN: Portable and scalable runtime support for parallel Haskell dialects.	J. Funct. Program.	2016	DBLP DOI BibTeX RDF
16	Alejandro Serrano 0001, Jurriaan Hage	Generic Matching of Tree Regular Expressions over Haskell Data Types.	PADL	2016	DBLP DOI BibTeX RDF
16	Nikolaos Bezirgiannis, I. S. W. B. Prasetya, Ilias Sakellariou	HLogo: A Haskell STM-Based Parallel Variant of NetLogo.	SIMULTECH (Selected Papers)	2016	DBLP DOI BibTeX RDF
16	Nikolaos Bezirgiannis, I. S. W. B. Prasetya, Ilias Sakellariou	HLogo: A Parallel Haskell Variant of NetLogo.	SIMULTECH	2016	DBLP DOI BibTeX RDF
16	Ahmed B. Ablak, Issam W. Damaj	HTCC: Haskell to Handel-C Hardware Compiler.	DSD	2016	DBLP DOI BibTeX RDF
16	Patrick Maier 0001	Why So Many?: A Brief Tour of Haskell DSLs for Parallel Programming.	RWDSL@CGO	2016	DBLP BibTeX RDF
16	Rodrigo Medeiros Duarte, André Rauber Du Bois, Maurício L. Pilla, Gerson G. H. Cavalheiro, Renata Hax Sander Reiser	Concurrent Hash Tables for Haskell.	SBLP	2016	DBLP DOI BibTeX RDF
16	Rodrigo Geraldo Ribeiro, Carlos Camarão 0001, Lucília Figueiredo, Cristiano D. Vasconcellos	Optional Type Classes for Haskell.	SBLP	2016	DBLP DOI BibTeX RDF
16	Luis Gabriel Lima, Francisco Soares-Neto, Paulo Lieuthier, Fernando Castor, Gilberto Melfe, João Paulo Fernandes	Haskell in Green Land: Analyzing the Energy Behavior of a Purely Functional Language.	SANER	2016	DBLP DOI BibTeX RDF
16	Mark Grebe, Andy Gill	Threading the Arduino with Haskell.	TFP	2016	DBLP DOI BibTeX RDF
16	Andreas Arvidsson, Moa Johansson, Robin Touche	Proving Type Class Laws for Haskell.	TFP	2016	DBLP DOI BibTeX RDF
16	Tomasz Obrêbski	Dependency grammars as Haskell programs.	ICON	2016	DBLP BibTeX RDF
16	Mark Mazumder, Timothy M. Braje	Safe Client/Server Web Development with Haskell.	SecDev	2016	DBLP DOI BibTeX RDF
16	Thomas Bittner, Jonathan P. Bona, Werner Ceusters	Ontologies of Dynamical Systems and Verifiable Ontology-Based Computation: Towards a Haskell-Based Implementation of Referent Tracking.	FOIS	2016	DBLP DOI BibTeX RDF
16	Ryan R. Newton, Ömer S. Agacan, Peter P. Fogg, Sam Tobin-Hochstadt	Parallel type-checking with haskell using saturating LVars and stream generators.	PPoPP	2016	DBLP DOI BibTeX RDF
16	Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin	A Formal, Resource Consumption-Preserving Translation of Actors to Haskell.	LOPSTR	2016	DBLP DOI BibTeX RDF
16	Prabhat Totoo	Parallel evaluation strategies for lazy data structures in Haskell.		2016	RDF
16	Ville Tirronen, Samuel Uusi-Mäkelä, Ville Isomöttönen	Understanding beginners' mistakes with Haskell.	J. Funct. Program.	2015	DBLP DOI BibTeX RDF
16	Torsten Grust	Thinking Functionally with Haskell by Richard Bird, Cambridge University Press, 2014.	J. Funct. Program.	2015	DBLP DOI BibTeX RDF
16	Michael Snoyman	Developing Web Apps with Haskell and Yesod - Safety-Driven Web Development, Second Edition.		2015	RDF
16	Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño	A Haskell Implementation of a Rule-Based Program Transformation for C Programs.	PADL	2015	DBLP DOI BibTeX RDF
16	Anton Ekblad	Foreign exchange at low, low rates a lightweight FFI for web-targeting Haskell dialects.	IFL	2015	DBLP DOI BibTeX RDF
16	Jan Bracker, Henrik Nilsson	Polymonad programming in Haskell.	IFL	2015	DBLP DOI BibTeX RDF
16	Alejandro Russo	Functional pearl: two can keep a secret, if one of them uses Haskell.	ICFP	2015	DBLP DOI BibTeX RDF
16	Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo	HLIO: mixing static and dynamic typing for information-flow control in Haskell.	ICFP	2015	DBLP DOI BibTeX RDF
16	Paul Hudak, Donya Quick, Mark Santolucito, Daniel Winograd-Cort	Real-time interactive music in Haskell.	FARM@ICFP	2015	DBLP DOI BibTeX RDF
16	Thijs Alkemade, Johan Jeuring	Type Class Instances for Type-Level Lambdas in Haskell.	TFP	2015	DBLP DOI BibTeX RDF
16	Emil Axelsson, Andrea Vezzosi	Lightweight Higher-Order Rewriting in Haskell.	TFP	2015	DBLP DOI BibTeX RDF
16	Maarten Faddegon, Olaf Chitil	Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack.	PLDI	2015	DBLP DOI BibTeX RDF
16	Ammlan Ghosh, Rituparna Chaki	Implementing Software Transactional Memory Using STM Haskell.	ACSS (1)	2015	DBLP DOI BibTeX RDF
16	Malak Saleh Aljabri	GUMSMP : a scalable parallel Haskell implementation.		2015	RDF
16	Andrew Farmer	HERMIT: Mechanized Reasoning during Compilation in the Glasgow Haskell Compiler.		2015	RDF
16	Prabhat Totoo, Hans-Wolfgang Loidl	Parallel Haskell implementations of the N-body problem.	Concurr. Comput. Pract. Exp.	2014	DBLP DOI BibTeX RDF
16	Tim Olmer, Bastiaan Heeren, Johan Jeuring	Evaluating Haskell expressions in a tutoring environment.	TFPIE	2014	DBLP DOI BibTeX RDF
16	Scott N. Walck	Learn Physics by Programming in Haskell.	TFPIE	2014	DBLP DOI BibTeX RDF
16	Raphael Poss	Haskell for OCaml programmers.	CoRR	2014	DBLP BibTeX RDF
16	Wolfram Kahl	A Simple Parallel Implementation of Interaction Nets in Haskell.	DCM	2014	DBLP DOI BibTeX RDF
16	Andy Gill	Domain-specific languages and code synthesis using Haskell.	Commun. ACM	2014	DBLP DOI BibTeX RDF
16	Christian Sternagel, René Thiemann	Haskell's Show-Class in Isabelle/HOL.	Arch. Formal Proofs	2014	DBLP BibTeX RDF
16	Neil Sculthorpe, Nicolas Frisby, Andy Gill	The Kansas University rewrite engine - A Haskell-Embedded Strategic Programming Language with Custom Closed Universes.	J. Funct. Program.	2014	DBLP DOI BibTeX RDF
16	Robin Green	Beginning Haskell, by Alejandro Serrano Mena, Apress, New York City, NY, 2014, ISBN-10: 1430262508, 428 pp.	J. Funct. Program.	2014	DBLP DOI BibTeX RDF
16	Andy Gill	Domain-specific Languages and Code Synthesis Using Haskell.	ACM Queue	2014	DBLP DOI BibTeX RDF
16	Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers	Partial Type Signatures for Haskell.	PADL	2014	DBLP DOI BibTeX RDF
16	Marcus Ermler	Ein Ansatz zum Erkennen von Schleifen in Graphersetzungssystemen mit Hilfe einer aussagenlogischen Kodierung und seine Anwendung auf Haskell.	Software Engineering (Workshops)	2014	DBLP BibTeX RDF
16	Scott Kilpatrick, Derek Dreyer, Simon L. Peyton Jones, Simon Marlow	Backpack: retrofitting Haskell with interfaces.	POPL	2014	DBLP DOI BibTeX RDF
16	Ismael Figueroa, Nicolas Tabareau, Éric Tanter	Effect Capabilities for Haskell.	SBLP	2014	DBLP DOI BibTeX RDF
16	André Rauber Du Bois, Maurício Lima Pilla, Rodrigo Medeiros Duarte	Transactional Boosting for Haskell.	SBLP	2014	DBLP DOI BibTeX RDF
16	Cecilia Manzino, Alberto Pardo	A Security Types Preserving Compiler in Haskell.	SBLP	2014	DBLP DOI BibTeX RDF