|
|
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 |
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 |
|
Displaying result #901 - #1000 of 1556 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|