Search results for "Haskell"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
34	Michael D. Adams 0001, Ömer S. Agacan	Indentation-sensitive parsing for Parsec.	Haskell	2014	DBLP DOI BibTeX RDF
34	Lee Pike	SmartCheck: automatic and efficient counterexample reduction and generalization.	Haskell	2014	DBLP DOI BibTeX RDF
34	Manuel M. T. Chakravarty	Foreign inline code: systems demonstration.	Haskell	2014	DBLP DOI BibTeX RDF
34	Atze van der Ploeg, Oleg Kiselyov	Reflection without remorse: revealing a hidden sequence to speed up monadic reflection.	Haskell	2014	DBLP DOI BibTeX RDF
34	Anton Ekblad, Koen Claessen	A seamless, client-centric programming model for type safe web applications.	Haskell	2014	DBLP DOI BibTeX RDF
34	Patrick Maier 0001, Robert J. Stewart 0001, Phil Trinder	The HdpH DSLs for scalable reliable computation.	Haskell	2014	DBLP DOI BibTeX RDF
34	Chung-chieh Shan (eds.)	Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Boston, MA, USA, September 23-24, 2013	Haskell	2013	DBLP DOI BibTeX RDF
34	Andreas Voellmy, Junchang Wang, Paul Hudak, Kazuhiko Yamamoto	Mio: a high-performance multicore io manager for GHC.	Haskell	2013	DBLP DOI BibTeX RDF
34	Koen Claessen, Michal H. Palka	Splittable pseudorandom number generators using cryptographic hashing.	Haskell	2013	DBLP DOI BibTeX RDF
34	Joe Leslie-Hurd	Maintaining verified software.	Haskell	2013	DBLP DOI BibTeX RDF
34	Oleg Kiselyov, Amr Sabry, Cameron Swords	Extensible effects: an alternative to monad transformers.	Haskell	2013	DBLP DOI BibTeX RDF
34	Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers	Understanding idiomatic traversals backwards and forwards.	Haskell	2013	DBLP DOI BibTeX RDF
34	Atze van der Ploeg	Monadic functional reactive programming.	Haskell	2013	DBLP DOI BibTeX RDF
34	Jean-Philippe Bernardy, Nicolas Pouillard	Names for free: polymorphic views of names and binders.	Haskell	2013	DBLP DOI BibTeX RDF
34	Ketil Malde, Bryan O'Sullivan	Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell.	PADL	2009	DBLP DOI BibTeX RDF
34	Dana N. Xu, Simon L. Peyton Jones, Koen Claessen	Static contract checking for Haskell.	POPL	2009	DBLP DOI BibTeX RDF	contract satisfaction, static contract checking
34	Peter Thiemann 0001, Stefan Wehr	Interface Types for Haskell.	APLAS	2008	DBLP DOI BibTeX RDF
34	Simon L. Peyton Jones	Harnessing the Multicores: Nested Data Parallelism in Haskell.	APLAS	2008	DBLP DOI BibTeX RDF
34	Alberto de la Encina, Ismael Rodríguez, Fernando Rubio 0001	A Debugger for Parallel Haskell Dialects.	ICA3PP	2008	DBLP DOI BibTeX RDF
34	Simon L. Peyton Jones, Satnam Singh	A Tutorial on Parallel and Concurrent Programming in Haskell.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
34	Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra	The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity.	IFL	2007	DBLP DOI BibTeX RDF
34	Leif Frenzel	Experience report: building an eclipse-based IDE for Haskell.	ICFP	2007	DBLP DOI BibTeX RDF
34	Wolfram Kahl	Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell.	RelMiCS	2006	DBLP DOI BibTeX RDF
34	Peng Li, Steve Zdancewic	Encoding Information Flow in Haskell.	CSFW	2006	DBLP DOI BibTeX RDF
34	Frank Atanassow, Dave Clarke 0001, Johan Jeuring	UUXML: A Type-Preserving XML Schema-Haskell Data Binding.	PADL	2004	DBLP DOI BibTeX RDF
34	Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germán Vidal	Towards CNC Programming Using Haskell.	IBERAMIA	2004	DBLP DOI BibTeX RDF
34	Ulf Norell, Patrik Jansson	Polytypic Programming in Haskell.	IFL	2003	DBLP DOI BibTeX RDF
34	John T. O'Donnell	Embedding a Hardware Description Language in Template Haskell.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
34	Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Nívia Cruz Quental	On the Implementation of SPMD Applications Using Haskell.	SBAC-PAD	2003	DBLP DOI BibTeX RDF
34	Peter Achten, Simon L. Peyton Jones	Porting the Clean Object I/O Library to Haskell.	IFL	2000	DBLP DOI BibTeX RDF
34	Frank Huch, Ulrich Norbisrath	Distributed Programming in Haskell with Ports.	IFL	2000	DBLP DOI BibTeX RDF
34	John Peterson, Paul Hudak, Conal Elliott	Lambda in Motion: Controlling Robots with Haskell.	PADL	1999	DBLP DOI BibTeX RDF
34	Nancy A. Day, Jeffrey R. Lewis, Byron Cook	Symbolic Simulation of Microprocessor Models using Type Classes in Haskell.	CHARME	1999	DBLP DOI BibTeX RDF
34	Sahalu B. Junaidu, Antony J. T. Davie, Kevin Hammond	Naira: A Parallel² Haskell Compiler.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
34	David Wakeling	A Haskell to Java Virtual Machine Code Compiler.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
34	Philip W. Trinder, Kevin Hammond, James S. Mattson Jr., Andrew S. Partridge, Simon L. Peyton Jones	GUM: A Portable Parallel Implementation of Haskell.	PLDI	1996	DBLP DOI BibTeX RDF
32	José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh	Optimizing generics is easy!	PEPM	2010	DBLP DOI BibTeX RDF	optimization, benchmark, functional programming, haskell, generic programming
32	Gerwin Klein, Philip Derrin, Kevin Elphinstone	Experience report: seL4: formally verifying a high-performance microkernel.	ICFP	2009	DBLP DOI BibTeX RDF	seL4, haskell, microkernel, Isabelle/HOL
32	Luís Soares Barbosa, Jácome Cunha, Joost Visser 0001	A type-level approach to component prototyping.	SYANCO	2007	DBLP DOI BibTeX RDF	type-level programming, Haskell, coalgebra, mealy machine, combinator library
32	Peng Li, Steve Zdancewic	Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives.	PLDI	2007	DBLP DOI BibTeX RDF	scalability, networking, concurrency, programming, implementation, haskell, event, thread, monad
32	Patricia Johann, Janis Voigtländer	Free theorems in the presence of seq.	POPL	2004	DBLP DOI BibTeX RDF	controlling strict evaluation, short cut fusion, theorems for free, program transformations, Haskell, denotational semantics, parametricity, correctness proofs, logical relations
32	Hans-Wolfgang Loidl, Fernando Rubio 0001, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder	Comparing Parallel Functional Languages: Programming and Performance.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	automatic task decomposition, load balancing, parallel computation, functional programming, Haskell, skeletons, ML, implicit parallelism
32	Peter Thiemann 0001	WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms.	PADL	2002	DBLP DOI BibTeX RDF	CGI Programming, Haskell, Monads
32	Keith Hanna	Interactive visual functional programming.	ICFP	2002	DBLP DOI BibTeX RDF	visual, interactive, Haskell, functional, live, edit, stylesheet
32	Matthias Neubauer, Peter Thiemann 0001	Type classes with more higher-order polymorphism.	ICFP	2002	DBLP DOI BibTeX RDF	higher-order unification, Haskell, type inference, type classes
32	Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo	Charting Patterns on Price History.	ICFP	2001	DBLP DOI BibTeX RDF	Haskell
32	Simon L. Peyton Jones, Alastair Reid 0001, Fergus Henderson, C. A. R. Hoare, Simon Marlow	A Semantics for Imprecise Exceptions.	PLDI	1999	DBLP DOI BibTeX RDF	Haskell
32	Christoph A. Herrmann, Christian Lengauer	Transformation of Divide & Conquer to Nested Parallel Loops.	PLILP	1997	DBLP DOI BibTeX RDF	parallelization, Haskell, skeleton, divide-and-conquer, space-time mapping, equational reasoning
32	John Launchbury, Amr Sabry	Monadic State: Axiomatization and Type Safety.	ICFP	1997	DBLP DOI BibTeX RDF	Haskell
32	John Peterson, Mark P. Jones	Implementing Type Classes.	PLDI	1993	DBLP DOI BibTeX RDF	Haskell, Standard ML
31	Thomas Prokosch, Sven Strickroth	Automatic Evaluation of Haskell Assignments Using Existing Haskell Tooling.	ABP	2023	DBLP DOI BibTeX RDF
31	Niki Vazou	Liquid Haskell: Haskell as a Theorem Prover.		2016	RDF
31	Liesbeth De Mol, Martin Carlé, Maarten Bullynck	Haskell before Haskell: an alternative lesson in practical logics of the ENIAC.	J. Log. Comput.	2015	DBLP DOI BibTeX RDF
31	David Sabel	A Haskell-Implementation of STM Haskell with Early Conflict Detection.	Software Engineering (Workshops)	2014	DBLP BibTeX RDF
31	Patrick Maier 0001, Philip W. Trinder	Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell.	IFL	2011	DBLP DOI BibTeX RDF
31	George Giorgidze, Torsten Grust, Tom Schreiber, Jeroen Weijers	Haskell Boards the Ferry - Database-Supported Program Execution for Haskell.	IFL	2010	DBLP DOI BibTeX RDF
31	Iustin Pop	Experience report: Haskell as a reagent: results and observations on the use of Haskell in a python project.	ICFP	2010	DBLP DOI BibTeX RDF
31	Liesbeth De Mol, Maarten Bullynck, Martin Carlé	Haskell before Haskell: Curry's Contribution to Programming (1946-1950).	CiE	2010	DBLP DOI BibTeX RDF
31	Frank Atanassow, Johan Jeuring	Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell.	Sci. Comput. Program.	2007	DBLP DOI BibTeX RDF
30	Gregory Collins, Doug Beardsley	The Snap Framework: A Web Toolkit for Haskell.	IEEE Internet Comput.	2011	DBLP DOI BibTeX RDF	Snap framework, Internet, functional programming, Haskell, HTTP
30	Michael Snoyman	Warp: A Haskell Web Server.	IEEE Internet Comput.	2011	DBLP DOI BibTeX RDF	builder, functional programming, Haskell, enumerator, Web development
30	Simon Marlow, Simon L. Peyton Jones, Satnam Singh	Runtime support for multicore Haskell.	ICFP	2009	DBLP DOI BibTeX RDF	Haskell parallel runtime
30	Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach	Bridging the Gulf: A Common Intermediate Language for ML and Haskell.	POPL	1998	DBLP DOI BibTeX RDF	Haskell, ML
30	David J. King, John Launchbury	Structuring Depth-First Search Algorithms in Haskell.	POPL	1995	DBLP DOI BibTeX RDF	Haskell
28	Ralf Hinze	Deriving backtracking monad transformers.	ICFP	2000	DBLP DOI BibTeX RDF	Prolog, Prolog, Haskell, Haskell, continuations, monads, backtracking, cut, program derivation, PEARL, monad transformers
28	Phillip M. Yelland	A Compositional Account of the Java Virtual Machine.	POPL	1999	DBLP DOI BibTeX RDF	Java, verification, Haskell, Haskell, Java virtual machine, Java bytecode
28	Alastair Reid 0001, John Peterson, Gregory D. Hager, Paul Hudak	Prototyping Real-Time Vision Systems: An Experiment in DSL Design.	ICSE	1999	DBLP DOI BibTeX RDF	computer vision, modularity, functional programming, domain-specific languages, Haskell, Haskell, code reuse
28	Jerzy Karczmarczuk	Functional Differentiation of Computer Programs.	ICFP	1998	DBLP DOI BibTeX RDF	lazy semantics, Haskell, Haskell, arithmetic, differentiation, derivatives
27	Mark P. Jones	Polymorphism and page tables: systems programming from a functional programmer's perspective.	ICFP	2008	DBLP DOI BibTeX RDF	memory manipulation, functional programming, type systems, data representation, systems programming
27	Erik Meijer 0001	Confessions of a used programming language salesman.	OOPSLA	2007	DBLP DOI BibTeX RDF
27	Duncan Coutts, Roman Leshchinskiy, Don Stewart	Stream fusion: from lists to streams to nothing at all.	ICFP	2007	DBLP DOI BibTeX RDF	program fusion, program optimisation, program transformation, functional programming, deforestation
27	Avik Sinha, Carol S. Smidts	An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique.	Empir. Softw. Eng.	2006	DBLP DOI BibTeX RDF	EFSM software model, Software test automation, Functional specification language, Empirical study, Controlled experiment
27	Jost Berthold, Rita Loogen	Parallel Coordination Made Explicit in a Functional Setting.	IFL	2006	DBLP DOI BibTeX RDF
27	Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez	Generic Views on Data Types.	MPC	2006	DBLP DOI BibTeX RDF
27	Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow	Associated types with class.	POPL	2005	DBLP DOI BibTeX RDF	associated types, self-optimising libraries, type-directed translation, type-indexed types, type classes
27	William L. Harrison	A Simple Semantics for Polymorphic Recursion.	APLAS	2005	DBLP DOI BibTeX RDF
27	Hideki Tsuiki, Keiji Sugihara	Streams with a Bottom in Functional Languages.	ESOP	2005	DBLP DOI BibTeX RDF
27	Ralf Lämmel, Simon L. Peyton Jones	Scrap more boilerplate: reflection, zips, and generalised casts.	ICFP	2004	DBLP DOI BibTeX RDF	type cast, reflection, generic programming, zippers
27	Bernard J. Pope	Declarative Debugging with Buddha.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
27	Martin Erwig, Deling Ren	A rule-based language for programming software updates.	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	type change, update program, update safey, type correctness
27	Nick Benton, John Hughes 0001, Eugenio Moggi	Monads and Effects.	APPSEM	2000	DBLP DOI BibTeX RDF
27	Alastair Reid 0001	Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes.	IFL	1998	DBLP DOI BibTeX RDF
27	Einar W. Karlsen	The UniForM WorkBench - A Higher Order Tool Integration Framework.	FM-Trends	1998	DBLP DOI BibTeX RDF
25	Bo Wei, William B. Haskell 0001, Sixiang Zhao	Correction to: The CoMirror algorithm with random constraint sampling for convex semi-infinite programming.	Ann. Oper. Res.	2024	DBLP DOI BibTeX RDF
25	Vishwali Mhasawade, Salman Rahman, Zoe Haskell-Craig, Rumi Chunara	Understanding Disparities in Post Hoc Machine Learning Explanation.	CoRR	2024	DBLP DOI BibTeX RDF
25	Le Thi Khanh Hien, Renbo Zhao, William B. Haskell 0001	An Inexact Primal-Dual Smoothing Framework for Large-Scale Non-Bilinear Saddle Point Problems.	J. Optim. Theory Appl.	2024	DBLP DOI BibTeX RDF
25	Xingbo Lu, Yuzhen Huang 0001, Shihao Yan, Weiwei Yang 0001, Paul S. Haskell-Dowland	Energy-Efficient Covert Wireless Communication Through Probabilistic Jamming.	IEEE Wirel. Commun. Lett.	2023	DBLP DOI BibTeX RDF
25	Harish Chauhan, Nikunj Gupta, Zoe Haskell-Craig	Understanding human mobility patterns in Chicago: an analysis of taxi data using clustering techniques.	CoRR	2023	DBLP DOI BibTeX RDF
25	Harish Chauhan, Nikunj Gupta, Zoe Haskell-Craig	Predicting blood pressure under circumstances of missing data: An analysis of missing data patterns and imputation methods using NHANES.	CoRR	2023	DBLP DOI BibTeX RDF
25	Xun Zhang, William B. Haskell 0001, Zhisheng Ye 0001	A Unifying Framework for Variance-Reduced Algorithms for Findings Zeroes of Monotone operators.	J. Mach. Learn. Res.	2022	DBLP BibTeX RDF
25	William B. Haskell 0001, Huifu Xu, Wenjie Huang	Preference Robust Optimization for Choice Functions on the Space of CDFs.	SIAM J. Optim.	2022	DBLP DOI BibTeX RDF
25	Songhao Wang, Szu Hui Ng, William Benjamin Haskell	A Multilevel Simulation Optimization Approach for Quantile Functions.	INFORMS J. Comput.	2022	DBLP DOI BibTeX RDF
25	Jukka Isohätälä, William B. Haskell 0001	Risk Aware Minimum Principle for Optimal Control of Stochastic Differential Equations.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
25	Liam Riddell, Mohiuddin Ahmed, Paul S. Haskell-Dowland	Establishment and mapping of heterogeneous anomalies in network intrusion datasets.	Connect. Sci.	2022	DBLP DOI BibTeX RDF
25	Shiping Shao, Abhishek Gupta 0002, William B. Haskell 0001	Robustness to Modeling Errors in Risk-Sensitive Markov Decision Problems with Markov Risk Measures.	CoRR	2022	DBLP DOI BibTeX RDF
25	Xuejun Zhao, Ruihao Zhu, William B. Haskell 0001	Learning to Price Supply Chain Contracts against a Learning Retailer.	CoRR	2022	DBLP DOI BibTeX RDF
25	A. N. M. Bazlur Rashid, Mohiuddin Ahmed, Leslie F. Sikos, Paul S. Haskell-Dowland	Anomaly Detection in Cybersecurity Datasets via Cooperative Co-evolution-based Feature Selection.	ACM Trans. Manag. Inf. Syst.	2022	DBLP DOI BibTeX RDF
25	Md Mursalin, Mohiuddin Ahmed, Paul S. Haskell-Dowland	Biometric Security: A Novel Ear Recognition Approach Using a 3D Morphable Ear Model.	Sensors	2022	DBLP DOI BibTeX RDF
25	Xian Yu, Shihao Yan, Jinsong Hu, Paul S. Haskell-Dowland, Yubing Han, Derrick Wing Kwan Ng	On Relaying Strategies in Multi-Hop Covert Wireless Communications.	ICC	2022	DBLP DOI BibTeX RDF
25	Mohiuddin Ahmed, Surender Byreddy, Anush Nutakki, Leslie F. Sikos, Paul S. Haskell-Dowland	ECU-IoHT: A dataset for analyzing cyberattacks in Internet of Health Things.	Ad Hoc Networks	2021	DBLP DOI BibTeX RDF