|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1041 occurrences of 477 keywords
|
|
|
Results
Found 1588 publication records. Showing 1556 according to the selection in the facets
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 |
|
Displaying result #401 - #500 of 1556 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|