|
|
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 |
25 | Haskell B. Curry |
The Combinatory Foundations of Mathematical Logic. |
J. Symb. Log. |
1942 |
DBLP DOI BibTeX RDF |
|
25 | Haskell B. Curry |
A Revision of the Fundamental Rules of Combinatory Logic. |
J. Symb. Log. |
1941 |
DBLP DOI BibTeX RDF |
|
25 | Haskell B. Curry |
Consistency and Completeness of the Theory of Combinators. |
J. Symb. Log. |
1941 |
DBLP DOI BibTeX RDF |
|
25 | Haskell B. Curry |
On the Use of Dots as Brackets in Logical Expressions. |
J. Symb. Log. |
1937 |
DBLP DOI BibTeX RDF |
|
25 | Florian Stenger, Janis Voigtländer |
Parametricity for Haskell with Imprecise Error Semantics. |
TLCA |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Martin Sulzmann, Edmund S. L. Lam, Simon Marlow |
Comparing the performance of concurrent linked-list implementations in Haskell. |
DAMP |
2009 |
DBLP DOI BibTeX RDF |
concurrent linked list, performance, synchronization |
25 | Arnar Birgisson, Úlfar Erlingsson |
An implementation and semantics for transactional memory introspection in Haskell. |
PLAS |
2009 |
DBLP DOI BibTeX RDF |
transactional memory, reference monitors |
25 | Andy Gill |
A Haskell Hosted DSL for Writing Transformation Systems. |
DSL |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Stefan Wehr, Manuel M. T. Chakravarty |
ML Modules and Haskell Type Classes: A Constructive Comparison. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev |
Libraries for Generic Programming in Haskell. |
Advanced Functional Programming |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Duncan Coutts, Don Stewart, Roman Leshchinskiy |
Rewriting Haskell Strings. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
Program fusion, Functional programming, Deforestation |
25 | Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch 0002, Christian Müller |
Algebraic Knowledge Discovery Using Haskell. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Neil Mitchell, Colin Runciman |
A Supercompiler for Core Haskell. |
IFL |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Ta-Chung Tsai, Alejandro Russo, John Hughes 0001 |
A Library for Secure Multi-threaded Information Flow in Haskell. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow |
Data parallel Haskell: a status report. |
DAMP |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Edmund S. L. Lam, Martin Sulzmann |
A concurrent constraint handling rules implementation in Haskell with software transactional memory. |
DAMP |
2007 |
DBLP DOI BibTeX RDF |
parallel implementation of concurrent language |
25 | Olaf Chitil, Frank Huch |
Monadic, Prompt Lazy Assertions in Haskell. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Paul Hudak, John Hughes 0001, Simon L. Peyton Jones, Philip Wadler |
A history of Haskell: being lazy with class. |
HOPL |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Olaf Chitil, Frank Huch |
A Pattern Logic for Prompt Lazy Assertions in Haskell. |
IFL |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Anthony Discolo, Tim Harris 0001, Simon Marlow, Simon L. Peyton Jones, Satnam Singh |
Lock Free Data Structures Using STM in Haskell. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Alberto de la Encina, Luis Llana, Fernando Rubio 0001 |
Formalizing the Debugging Process in Haskell. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Lori Collins, Murray Gross, Paula A. Whitlock |
Improving Performance of Distributed Haskell in Mosix Clusters. |
International Conference on Computational Science (3) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Sean Seefried, Manuel M. T. Chakravarty, Gabriele Keller |
Optimising Embedded DSLs Using Template Haskell. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Atze Dijkstra, S. Doaitse Swierstra |
Typing Haskell with an Attribute Grammar. |
Advanced Functional Programming |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Krzysztof Czarnecki 0001, John T. O'Donnell, Jörg Striegnitz, Walid Taha |
DSL Implementation in MetaOCaml, Template Haskell, and C++. |
Domain-Specific Program Generation |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén |
Continutation Semantics for Parallel Haskell Dialects. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Bernard J. Pope, Lee Naish |
Practical aspects of declarative debugging in Haskell 98. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
input and output, printing values, declarative debugging, resource usage |
25 | Malcolm Dowse, Glenn Strong, Andrew Butterfield |
Proving Make Correct: I/O Proofs in Haskell and Clean. |
IFL |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Natalia López, Manuel Núñez 0001, Ismael Rodríguez, Fernando Rubio 0001 |
WHAT: Web-Based Haskell Adaptive Tutor. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
Education, e-learning, Intelligent Tutors |
25 | Fernando Arroyo, Carmen Luengo, Angel V. Baranda, Luis F. Mingo |
A Software Simulation of Transition P Systems in Haskell. |
WMC-CdeA |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Manuel M. T. Chakravarty, Gabriele Keller |
An Approach to Fast Arrays in Haskell. |
Advanced Functional Programming |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Malcolm Wallace, Colin Runciman |
Haskell and XML: Generic Combinators or Type-Based Translation? |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
25 | David J. King, Jon G. Hall, Philip W. Trinder |
A Strategic Profiler for Glasgow Parallel Haskell. |
IFL |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Silvia Breitinger, Ulrike Klusik, Rita Loogen |
From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
25 | David Wakeling |
Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Simon L. Peyton Jones |
Compiling Haskell by Program Transformation: A Report from the Trenches. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Steven Anderson, Paul Hudak |
Compilation of Haskell Array Comprehensions for Scientific Computing. |
PLDI |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Lennart Augustsson |
O, partial evaluator, where art thou? |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
applications, haskell, partial evaluator |
23 | Ivan Lazar Miljenovic |
The SourceGraph program. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
graph theory, static analysis, haskell, software analysis, call graph |
23 | Janis Voigtländer |
Bidirectionalization for free! (Pearl). |
POPL |
2009 |
DBLP DOI BibTeX RDF |
bidirectionalization, free theorems, program transformation, haskell, generic programming, relational parametricity, view-update problem |
23 | Rishiyur S. Nikhil |
Using GPCE principles for hardware systems and accelerators: (bridging the gap to HW design). |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
bluespec systemverilog, bsv, energy efficient computing, fpga, high level synthesis, high performance computing, haskell, hardware accelerators, hardware/software codesign, term rewriting systems, hybrid computing |
23 | Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring |
Generic programming with fixed points for mutually recursive datatypes. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
mutually recursive datatypes, haskell, fixed points, datatype-generic programming |
23 | Pierre-Edouard Portier, Sylvie Calabretto |
Creation and maintenance of multi-structured documents. |
ACM Symposium on Document Engineering |
2009 |
DBLP DOI BibTeX RDF |
overlapping hierarchies, digital libraries, haskell, xml |
23 | Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann |
Type checking with open type functions. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
type families, type functions, Haskell, type checking |
23 | Mark P. Jones |
Experience report: playing the DSL card. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
Timber, component configuration, functional programming, domain-specific languages, Haskell |
23 | David J. Duke, Rita Borgo, Colin Runciman, Malcolm Wallace |
Experience report: visualizing data through functional pipelines. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
visualization, evaluation, streaming, pipeline, Haskell |
23 | Paulo F. Silva 0001, José Nuno Oliveira |
'Galculator': functional prototype of a Galois-connection based proof assistant. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
point-free notation, haskell, DSL, Galois connections, proof assistant, GADT |
23 | Pablo Berdaguer, Alcino Cunha, Hugo Pacheco 0001, Joost Visser 0001 |
Coupled Schema Transformation and Data Conversion for XML and SQL. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
XML, SQL, Transformation, Haskell |
23 | Tim Harris 0001, Satnam Singh |
Feedback directed implicit parallelism. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
functional programming, haskell, implicit parallelism |
23 | Torsten Gipp, Jürgen Ebert |
Functional Web Applications. |
ICWE |
2007 |
DBLP DOI BibTeX RDF |
Web Application Modelling, Specification, Haskell, Functional Languages |
23 | Avik Sinha, Carol S. Smidts |
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications. |
ACM Trans. Softw. Eng. Methodol. |
2006 |
DBLP DOI BibTeX RDF |
HaskellDB, database-specific test case generation, domain-specific testing, test generation tools, domain-specific languages, Haskell, model-based testing, Test case generation |
23 | Martin Erwig, Steve Kollmansberger |
Modeling Genome Evolution with a DSEL for Probabilistic Programming. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
Probabilistic Programming, Genome Evolution, Functional Programming, Haskell |
23 | Ralf Lämmel, Klaus Ostermann |
Software extension and integration with type classes. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
family polymorphism, framework integration, object adapter, software extension, tyranny of the dominant decomposition, haskell, type classes, software integration, multiple dispatch, expression problem |
23 | Björn Bringert, Aarne Ranta |
A pattern for almost compositional functions. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
dependent type theory, java, haskell, abstract syntax, traversal, visitor pattern |
23 | Chuan-Kai Lin |
Programming monads operationally with Unimo. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
unimo, haskell, monads, monad transformers |
23 | Andres Löh, Ralf Hinze |
Open data types and open functions. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
extensible data types, extensible exceptions, extensible functions, mutually recursive modules, functional programming, Haskell, generic programming, expression problem |
23 | Olaf Chitil |
Pretty printing with lazy dequeues. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
lazy functional programming, Haskell |
23 | Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry |
Backtracking, interleaving, and terminating monad transformers: (functional pearl). |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
control delimiters, logic programming, Prolog, streams, Haskell, continuations |
23 | Jeremy G. Siek, Andrew Lumsdaine |
Essential language support for generic programming. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
C++, Haskell, polymorphism, generic programming, standard ML |
23 | Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock |
A comparative study of language support for generic programming. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
Java, C++, generics, Haskell, polymorphism, generic programming, standard ML, C#, Eiffel |
23 | Robert Ennals, Simon L. Peyton Jones |
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
haskell, lazy evaluation, online profiling |
23 | Oleg Kiselyov |
A Better XML Parser through Functional Programming. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
tree fold, Haskell, Scheme, traversal, XML parsing |
23 | Arthur I. Baars, S. Doaitse Swierstra |
Typing dynamic typing. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
Leibnitz' rule, quantified types, type equality, typed interpreters, Haskell, dynamic typing, coercions, static typing |
23 | Walter A. Risi, Pablo E. Martínez López, Daniel H. Marcos |
HyCom: A Domain Specific Language for Hypermedia Application Development. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
HyCom, functional framework, Haskell library, DSL, hypermedia authoring |
23 | Tim Sheard |
Generic Unification via Two-Level Types and Parameterized Modules. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
parameterized modules, Haskell, generic programs, unification |
23 | Ross Paterson |
A New Notation for Arrows. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
Haskell |
23 | Andrew Rock, David Billington |
An Implementation of Propositional Plausible Logic. |
ACSC |
2000 |
DBLP DOI BibTeX RDF |
Plausible logic, Artificial intelligence, Implementation, Haskell, Non-monotonic reasoning, Defeasible logic |
23 | Simon L. Peyton Jones, Jean-Marc Eber, Julian Seward |
Composing contracts: an adventure in financial engineering, functional pearl. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
Haskell, PEARL |
23 | Conal Elliott |
An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
multimedia, animation, functional programming, domain-specific languages, Haskell, Graphics, temporal modeling, embedded languages |
23 | Christoph A. Herrmann, Jan Laitenberger, Christian Lengauer, Christian Schaller |
Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
parallelization, functional programming, Haskell, skeletons, inlining, higher-order function |
23 | Enno Scholz |
Imperative Streams - A Monadic Combinator Library for Synchronous Programming. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
Haskell, monads, synchronous languages, interactive graphics |
23 | Philip Wadler |
How to Declare an Imperative. |
ACM Comput. Surv. |
1997 |
DBLP DOI BibTeX RDF |
functional programming, Haskell, monad |
23 | Simon J. Thompson |
Where Do I Begin? A Problem Solving Approach in teaching Functional Programming. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
palindrome recognition, Polya, Functional programming, Haskell, problem solving |
23 | Patrick M. Sansom, Simon L. Peyton Jones |
Time and Space Profiling for Non-Strict Higher-Order Functional Languages. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
Haskell |
23 | Tobias Nipkow, Christian Prehofer |
Type Checking Type Classes. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
Haskell |
18 | Brad Nemanich, Daniel E. Cooke, J. Nelson Rushton |
SequenceL: transparency and multi-core parallelisms. |
DAMP |
2010 |
DBLP DOI BibTeX RDF |
computational laws, sequencel, multi-core, transparency |
18 | Zhijing G. Mou, Hai Liu 0012, Paul Hudak |
Compress-and-conquer for optimal multicore computing. |
DAMP |
2010 |
DBLP DOI BibTeX RDF |
compress and conquer, parallel computing, functional programming, scan, divide and conquer, programming paradigm, multicore programming |
18 | Guy L. Steele Jr. |
Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
associative operator, conjugate transform, tree, reduction, monoid |
18 | Matthew J. Sottile, Geoffrey C. Hulette, Allen D. Malony |
Workflow representation and runtime based on lazy functional streams. |
SC-WORKS |
2009 |
DBLP DOI BibTeX RDF |
|
18 | André Rauber Du Bois, Marcos Echevarria |
A Domain Specific Language for Composable Memory Transactions in Java. |
DSL |
2009 |
DBLP DOI BibTeX RDF |
|
18 | George Giorgidze, Henrik Nilsson |
Switched-On Yampa. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
synchronous dataflow languages, hybrid systems, computer music, Functional Reactive Programming |
18 | Lukas Bulwahn, Alexander Krauss 0001, Florian Haftmann, Levent Erkök, John Matthews |
Imperative Functional Programming with Isabelle/HOL. |
TPHOLs |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Ralf Hinze |
Exploiting Unique Fixed Points. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Geoffrey Mainland, Greg Morrisett, Matt Welsh |
Flask: staged functional programming for sensor networks. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
meta programming |
18 | Wendy Verbruggen, Edsko de Vries, Arthur Hughes |
Polytypic programming in COQ. |
ICFP-WGP |
2008 |
DBLP DOI BibTeX RDF |
kind-indexed types, theorem proving, generic programming, formalization, coq, polytypic programming |
18 | Laura Effinger-Dean, Matthew Kehrt, Dan Grossman |
Transactional events for ML. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
synchronous message passing, transactional events, concurrency |
18 | Janis Voigtländer |
Semantics and Pragmatics of New Shortcut Fusion Rules. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Ana Bove, Peter Dybjer |
Dependent Types at Work. |
LerNet ALFA Summer School |
2008 |
DBLP DOI BibTeX RDF |
|
18 | João Paulo Fernandes, João Saraiva |
Tools and libraries to model and manipulate circular programs. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
intermediate data structures, multiple traversal algorithms, traversal scheduling, circular programming |
18 | Edwin C. Brady |
Ivor, a Proof Engine. |
IFL |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Kevin Donnelly, J. J. Hallett, Assaf J. Kfoury |
Formal semantics of weak references. |
ISMM |
2006 |
DBLP DOI BibTeX RDF |
weak references, garbage collection, formal semantics |
18 | Gustav Munkby, Andreas P. Priesnitz, Sibylle Schupp, Marcin Zalewski |
Scrap++: scrap your boilerplate in C++. |
ICFP-WGP |
2006 |
DBLP DOI BibTeX RDF |
C++, extensibility, generic programming |
18 | Malcolm Dowse, Andrew Butterfield |
Modelling deterministic concurrent I/O. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
concurrency, determinism, effects, monads, I/O |
18 | Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeijer |
Polytypic Syntax Tree Operations. |
IFL |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Brian Huffman, John Matthews, Peter White |
Axiomatic Constructor Classes in Isabelle/HOLCF. |
TPHOLs |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Laurence Tratt |
Compile-time meta-programming in a dynamically typed OO language. |
DLS |
2005 |
DBLP DOI BibTeX RDF |
|
18 | James Cheney |
Scrap your nameplate: (functional pearl). |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
generic programming, binding, names, substitution |
18 | Alberto de la Encina, Ismael Rodríguez, Fernando Rubio 0001 |
Testing Speculative Work in a Lazy/Eager Parallel Functional Language. |
LCPC |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Frank Atanassow, Johan Jeuring |
Inferring Type Isomorphisms Generically. |
MPC |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Kenny Zhuo Ming Lu, Martin Sulzmann |
An Implementation of Subtyping Among Regular Expression Types. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #701 - #800 of 1556 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|