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