Search results for "haskell"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann	Sound and Decidable Type Inference for Functional Dependencies.	ESOP	2004	DBLP DOI BibTeX RDF
18	Jost Berthold	Towards a Generalised Runtime Environment for Parallel Haskells.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
18	Simon J. Thompson	Refactoring Functional Programs.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
18	Rafael Martínez-Torres, Ricardo Pena	Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms.	IFL	2003	DBLP DOI BibTeX RDF
18	Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca	Mixin Modules and Computational Effects.	ICALP	2003	DBLP DOI BibTeX RDF
18	Simon L. Peyton Jones, Ralf Lämmel	Scrap Your Boilerplate.	APLAS	2003	DBLP DOI BibTeX RDF
18	Dean Herington, P. David Stotts	DeCo: A Declarative Coordination Framework for Scientific Model Federations.	ASE	2003	DBLP DOI BibTeX RDF
18	Ralf Lämmel	Towards generic refactoring.	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	strafunski, frameworks, reuse, program transformation, functional programming, refactoring, language, generic programming
18	Magnus Carlsson	Monads for incremental computing.	ICFP	2002	DBLP DOI BibTeX RDF
18	Manuel M. T. Chakravarty, Gabriele Keller	Functional Array Fusion.	ICFP	2001	DBLP DOI BibTeX RDF
18	Olivier Danvy, Lasse R. Nielsen	A Higher-Order Colon Translation.	FLOPS	2001	DBLP DOI BibTeX RDF
18	David Jeffery, Tyson Dowd, Zoltan Somogyi	MCORBA: A CORBA Binding for Mercury.	PADL	1999	DBLP DOI BibTeX RDF
18	Nils Ellmenreich, Christian Lengauer, Martin Griebl	Application of the Polytope Model to Functional Programs.	LCPC	1999	DBLP DOI BibTeX RDF
18	Daan Leijen, Erik Meijer 0001	Domain specific embedded compilers.	DSL	1999	DBLP DOI BibTeX RDF
18	Lennart Augustsson	Cayenne - a Language with Dependent Types.	ICFP	1998	DBLP DOI BibTeX RDF	type systems, language design, dependent types, module systems
18	Olaf Chitil	Common Subexpressions Are Uncommon in Lazy Functional Languages.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
18	Hans-Wolfgang Loidl, Richard G. Morgan, Philip W. Trinder, Sanjay Poria, Chris Cooper, Simon L. Peyton Jones, Roberto Garigliano	Parallelising a Large Functional Program or: Keeping LOLITA Busy.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
18	Hans-Wolfgang Loidl, Philip W. Trinder	Engineering Large Parallel Functional Programs.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
18	Philip Wadler	The Essence of Functional Programming.	POPL	1992	DBLP DOI BibTeX RDF
16	Brandon Hewer, Graham Hutton	Quotient Haskell: Lightweight Quotient Types for All.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
16	Abhiroop Sarkar, Alejandro Russo	HasTEE+ : Confidential Cloud Computing and Analytics with Haskell.	CoRR	2024	DBLP DOI BibTeX RDF
16	Tim van Dam, Frank van der Heijden, Philippe de Bekker, Berend Nieuwschepen, Marc Otten, Maliheh Izadi	Investigating the Performance of Language Models for Completing Code in Functional Programming Languages: a Haskell Case Study.	CoRR	2024	DBLP DOI BibTeX RDF
16	Patrick Bahr, Emil Houlborg, Gregers Thomas Skat Rørdam	Asynchronous Reactive Programming with Modal Types in Haskell.	PADL	2024	DBLP DOI BibTeX RDF
16	Gabriel Ciobanu, Eneia Nicolae Todoran	Variants of spiking neural P systems and their operational semantics in Haskell.	J. Membr. Comput.	2023	DBLP DOI BibTeX RDF
16	Yuxi Long, Shiyou Wu, Yingjie Xu	An Auto-Parallelizer for Distributed Computing in Haskell.	CoRR	2023	DBLP DOI BibTeX RDF
16	Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen	HasTEE: Programming Trusted Execution Environments with Haskell.	CoRR	2023	DBLP DOI BibTeX RDF
16	Thomas Bagrel	Destination-passing style programming: a Haskell implementation.	CoRR	2023	DBLP DOI BibTeX RDF
16	Gabriel Ciobanu, Eneia Nicolae Todoran	Spiking neural P systems and their semantics in Haskell.	Nat. Comput.	2023	DBLP DOI BibTeX RDF
16	Kai-Oliver Prott, Finn Teegen, Jan Christiansen	Embedding Functional Logic Programming in Haskell via a Compiler Plugin.	PADL	2023	DBLP DOI BibTeX RDF
16	Elton Maximo Cardoso, Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Marcos Emiliano	A Haskell Library for Adaptable Parsing Expression Grammars.	SBLP	2023	DBLP DOI BibTeX RDF
16	Nataniel Siebeneichler, Felipe Grando, Giancarlo Salton, Samuel da Silva Feitosa	Uma DSL para gerar APIs RESTFul em Haskell.	SBLP	2023	DBLP DOI BibTeX RDF
16	Jeffrey M. Young, Sylvain Henry, John Ericson	Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven Design.	FUNARCH	2023	DBLP DOI BibTeX RDF
16	Leon Koth, Janis Voigtländer	Parametrisierung von Haskell-Programmieraufgaben.	ABP	2023	DBLP DOI BibTeX RDF
16	Cecilia Manzino, Gonzalo de Latorre	A Haskell-Embedded DSL for Secure Information-Flow.	SBMF	2023	DBLP DOI BibTeX RDF
16	Leonhard Applis, Annibale Panichella	HasBugs - Handpicked Haskell Bugs.	MSR	2023	DBLP DOI BibTeX RDF
16	Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang 0002	Staging with class: a specification for typed template Haskell.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
16	Satoshi Egi, Akira Kawata, Mayuko Kori, Hiromi Ogawa	Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell.	New Gener. Comput.	2022	DBLP DOI BibTeX RDF
16	Youssef Moawad, Wim Vanderbauwhede, René Steijl	Transformations for accelerator-based quantum circuit simulation in Haskell.	CoRR	2022	DBLP DOI BibTeX RDF
16	Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper	Verified Causal Broadcast with Liquid Haskell.	CoRR	2022	DBLP DOI BibTeX RDF
16	Matthew Farrugia-Roberts, Bryn Jeffries, Harald Søndergaard	Teaching Simple Constructive Proofs with Haskell Programs.	TFPIE	2022	DBLP DOI BibTeX RDF
16	Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva	An approach to translating Haskell programs to Agda and reasoning about them.	CoRR	2022	DBLP DOI BibTeX RDF
16	Patrick Bahr	Modal FRP for all: Functional reactive programming without space leaks in Haskell.	J. Funct. Program.	2022	DBLP DOI BibTeX RDF
16	Hendrik Folmer, R. De Groote, Marco Jan Gerrit Bekooij	High-Level Synthesis of Digital Circuits from Template Haskell and SDF-AP.	SAMOS	2022	DBLP DOI BibTeX RDF
16	Paul Leger, Felipe Ruiz, Nicolás Sepúlveda, Ismael Figueroa	Evolution of a haskell repository and its use of monads: an exploratory study of stackage.	SAC	2022	DBLP DOI BibTeX RDF
16	Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois	Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation.	SBLP	2022	DBLP DOI BibTeX RDF
16	Razvan Bocu, Dorin Bocu	Conceptual Foundations of Code Rationalization Through a Case Study in Haskell.	AINA (1)	2022	DBLP DOI BibTeX RDF
16	Nicolas Krauter, Patrick Raaf, Peter Braam, Reza Salkhordeh, Sebastian Erdweg, André Brinkmann	Persistent software transactional memory in Haskell.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
16	Matthew Pickering, Andres Löh, Nicolas Wu	A Specification for Typed Template Haskell.	CoRR	2021	DBLP BibTeX RDF
16	Boro Sitnikovski	Tutorial on implementing Hoare logic for imperative programs in Haskell.	CoRR	2021	DBLP BibTeX RDF
16	Patrick Redmond, Gan Shen, Lindsey Kuper	Toward Hole-Driven Development with Liquid Haskell.	CoRR	2021	DBLP BibTeX RDF
16	Wen Kokke, Ornela Dardha	Deadlock-Free Session Types in Linear Haskell.	CoRR	2021	DBLP BibTeX RDF
16	Ismael Figueroa, Paul Leger, Hiroaki Fukuda	Which monads Haskell developers use: An exploratory study.	Sci. Comput. Program.	2021	DBLP DOI BibTeX RDF
16	Joachim Breitner, Antal Spector-Zabusky, Yao Li 0004, Christine Rizkallah, John Wiegley, Joshua M. Cohen, Stephanie Weirich	Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.	J. Funct. Program.	2021	DBLP DOI BibTeX RDF
16	Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler	Introduction to Computation - Haskell, Logic and Automata		2021	DOI RDF
16	David Young, Mark Grebe, Andy Gill	On Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages.	PADL	2021	DBLP DOI BibTeX RDF
16	Ruairidh MacGregor, Phil Trinder, Hans-Wolfgang Loidl	Improving GHC Haskell NUMA profiling.	FHPNC@ICFP	2021	DBLP DOI BibTeX RDF
16	Martin A. T. Handley, Niki Vazou, Graham Hutton	Liquidate your assets: reasoning about resource usage in liquid Haskell.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
16	Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks 0001, Niki Vazou	Verifying replicated data types with typeclass refinements in Liquid Haskell.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
16	Michael B. James, Zheng Guo 0003, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, Nadia Polikarpova	Digging for fold: synthesis-aided API discovery for Haskell.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
16	Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin	A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell.	Fundam. Informaticae	2020	DBLP DOI BibTeX RDF
16	Manfred Schmidt-Schauß, David Sabel	Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars.	EXPRESS/SOS	2020	DBLP DOI BibTeX RDF
16	Michal J. Gajda, Dmitry Krylov	Fast XML/HTML for Haskell: XML TypeLift.	CoRR	2020	DBLP BibTeX RDF
16	Boro Sitnikovski, Biljana Stojcevska, Lidija Goracinova-Ilieva, Irena Stojmenovska	PubSub implementation in Haskell with formal verification in Coq.	CoRR	2020	DBLP BibTeX RDF
16	Oliver Westphal, Janis Voigtländer	Describing Console I/O Behavior for Testing Student Submissions in Haskell.	TFPIE	2020	DBLP DOI BibTeX RDF
16	Oliver Westphal	A Framework for Generating Diverse Haskell-IO Exercise Tasks.	CoRR	2020	DBLP BibTeX RDF
16	Wen Zhou 0007, Hongbin Dong, Yiwen Liang	The deterministic dendritic cell algorithm with Haskell in earthquake magnitude prediction.	Earth Sci. Informatics	2020	DBLP DOI BibTeX RDF
16	Torsten Grust	Review of "Algorithm Design with Haskell" by Richard Bird and Jeremy Gibbons, Cambridge University Press, 2020.	J. Funct. Program.	2020	DBLP DOI BibTeX RDF
16	David Llorens, Juan Miguel Vilar	Easily solving dynamic programming problems in Haskell by memoization of hylomorphisms.	Softw. Pract. Exp.	2020	DBLP DOI BibTeX RDF
16	Joris Burgers, Jurriaan Hage, Alejandro Serrano 0001	Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning.	IFL	2020	DBLP DOI BibTeX RDF
16	Neil Mitchell, Moritz Kiefer, Pepe Iborra, Luke Lau, Zubin Duggal, Hannes Siebenhandl, Javier Neira Sanchez, Matthew Pickering, Alan Zimmerman	Building an Integrated Development Environment (IDE) on top of a Build System: The tale of a Haskell IDE.	IFL	2020	DBLP DOI BibTeX RDF
16	Jørgen Villadsen	Tautology Checkers in Isabelle and Haskell.	CILC	2020	DBLP BibTeX RDF
16	Vladimír Still	Automatic Test Generation for Haskell Programming Assignments.	ITiCSE	2020	DBLP DOI BibTeX RDF
16	Oliver Westphal	A Framework for Generating Diverse Haskell-I/O Exercise Tasks.	WFLP	2020	DBLP DOI BibTeX RDF
16	Manuel Bärenz	The (not so) lonely Haskell Multimedia Live Programmer.	FARM@ICFP	2020	DBLP BibTeX RDF
16	Stephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg	A role for dependent types in Haskell.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
16	David Thrane Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix, Tristan Ravitch	Dependently typed Haskell in industry (experience report).	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
16	Csongor Kiss, Tony Field, Susan Eisenbach, Simon Peyton Jones	Higher-order type-level programming in Haskell.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
16	Yuya Kono, Hideyuki Kawabata, Tetsuo Hironaka	Resolving Ambiguous Types in Haskell by Checking Uniqueness of Type Variable Assignments under Type Class Constraints.	J. Inf. Process.	2019	DBLP DOI BibTeX RDF
16	Junqi Ren, Lei Liu, Feng Liu, Wenbo Zhou, Shuai Lü 0001	An Executable Specification of Map-Join-Reduce Using Haskell.	IEEE Access	2019	DBLP DOI BibTeX RDF
16	Ahmed B. Ablak, Issam W. Damaj	HTCC: Haskell to Handel-C Compiler.	CoRR	2019	DBLP BibTeX RDF
16	Franz Siglmüller	Type-Based Resource Analysis on Haskell.	DICE-FOPARA@ETAPS	2019	DBLP DOI BibTeX RDF
16	Pavel Kalvoda, Tom Sydney Kerckhove	Structural and semantic pattern matching analysis in Haskell.	CoRR	2019	DBLP BibTeX RDF
16	Stephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg	A Role for Dependent Types in Haskell (Extended version).	CoRR	2019	DBLP BibTeX RDF
16	Luis Gabriel Lima, Francisco Soares-Neto, Paulo Lieuthier, Fernando Castor, Gilberto Melfe, João Paulo Fernandes	On Haskell and energy efficiency.	J. Syst. Softw.	2019	DBLP DOI BibTeX RDF
16	Rodrigo Medeiros Duarte, André Rauber Du Bois, Maurício Lima Pilla, Gerson Geraldo H. Cavalheiro, Renata Hax Sander Reiser	Comparing the performance of concurrent hash tables implemented in Haskell.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
16	Roger B. Dannenberg	Review of "The Haskell School of Music: from Signals to Symphonies, " by Paul Hudak and Donya Quick, Cambridge University Press, 2018.	J. Funct. Program.	2019	DBLP DOI BibTeX RDF
16	Tamino Dauth, Martin Sulzmann	Futures and promises in Haskell and Scala.	PEPM@POPL	2019	DBLP DOI BibTeX RDF
16	Anastasiya Kravchuk-Kirilyuk, Antoine Voizard, Stephanie Weirich	Eta-Equivalence in Core Dependent Haskell.	TYPES	2019	DBLP DOI BibTeX RDF
16	Anton Kholomiov	Csound-expression: Haskell framework for computer music.	FARM@ICFP	2019	DBLP DOI BibTeX RDF
16	Christina Zeller, Ivan Perez 0005	Mobile game programming in Haskell.	FARM@ICFP	2019	DBLP DOI BibTeX RDF
16	David Janin	Screaming in the IO monad: a realtime audio processing and control experiment in Haskell.	FARM@ICFP	2019	DBLP DOI BibTeX RDF
16	Marcellus Siegburg, Janis Voigtländer, Oliver Westphal	Automatische Bewertung von Haskell-Programmieraufgaben.	ABP	2019	DBLP DOI BibTeX RDF
16	Ryan Yates, Michael L. Scott	Leveraging hardware TM in Haskell.	PPoPP	2019	DBLP DOI BibTeX RDF
16	Scott Kilpatrick	Non-reformist reform for Haskell Modularity.		2019	RDF
16	Joachim Breitner, Antal Spector-Zabusky, Yao Li 0004, Christine Rizkallah, John Wiegley, Stephanie Weirich	Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report).	Proc. ACM Program. Lang.	2018	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.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
16	Rafael Castro G. Silva, Karina Girardi Roggia, Cristiano Damiani Vasconcellos	Haskell Type System Analysis.	RITA	2018	DBLP DOI BibTeX RDF
16	Christopher Blöcker, Ulrich Hoffmann	Pardis: a process calculus for parallel and distributed programming in Haskell.	J. Supercomput.	2018	DBLP DOI BibTeX RDF
16	Jan Stolarek, James Cheney	Language-integrated provenance in Haskell.	Art Sci. Eng. Program.	2018	DBLP DOI BibTeX RDF
16	Joachim Breitner, Antal Spector-Zabusky, Yao Li 0004, Christine Rizkallah, John Wiegley, Stephanie Weirich	Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.	CoRR	2018	DBLP BibTeX RDF