The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Combinators with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1941-1984 (15) 1985 (18) 1986-1987 (29) 1988-1990 (21) 1991-1993 (25) 1994-1996 (19) 1997-1998 (23) 1999-2000 (27) 2001-2002 (32) 2003-2004 (16) 2005 (16) 2006-2007 (35) 2008 (16) 2009 (15) 2010-2011 (19) 2012-2013 (15) 2014-2015 (17) 2016-2018 (22) 2019-2020 (20) 2021-2022 (18) 2023 (2)
Publication types (Num. hits)
article(121) book(2) incollection(1) inproceedings(289) phdthesis(6) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 234 occurrences of 162 keywords

Results
Found 420 publication records. Showing 420 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
89Steffen Mazanek, Mark Minas Graph Parser Combinators. Search on Bibsonomy IFL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF graph parsing, functional programming, visual languages, parser combinators
89Pascal Van Hentenryck, Laurent Michel, Liyuan Liu Contraint-Based Combinators for Local Search. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF constraints languange, logical and cardinality combinators, differential objects, first-class expressions, search procedure, local search, reification
82Andreas Hamfelt, Jørgen Fischer Nilsson Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes. Search on Bibsonomy LOPSTR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF logic program schemata, logical combinators, synthesis by composition and specialization of schemas, inductive synthesis, metalogic program environment
80Nobuko Yoshida Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract). Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
73J. Roger Hindley Combinators and Lambda-Calculus. Search on Bibsonomy Combinators and Functional Programming Languages The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
73Kohei Honda 0001, Nobuko Yoshida Combinatory Representation of Mobile Processes. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
68Pascal Van Hentenryck, Laurent Michel, Liyuan Liu Constraint-Based Combinators for Local Search. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
68Arie van Deursen, Joost Visser 0001 Building Program Understanding Tools Using Visitor Combinators. Search on Bibsonomy IWPC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF visitor design pattern, Program analysis, program comprehension, software visualization
68Richard Statman On the Word Problem for Combinators. Search on Bibsonomy RTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
65Richard A. Frost, Rahmatullah Hafiz, Paul Callaghan Parser Combinators for Ambiguous Left-Recursive Grammars. Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF left recursion, natural-language parsing, functional programming, ambiguity, Parser combinators
65Ralf Lämmel, Joost Visser 0001 Typed Combinators for Generic Traversal. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF program transformation, Genericity, combinators, traversal
65Rafael Dueire Lins A New Formula for the Execution of Categorial Combinators. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF Categorical Combinators, complexity, functional programming, lambda calculus
60David Himmelstrup Interactive debugging with GHCi. Search on Bibsonomy Haskell The full citation details ... 2006 DBLP  DOI  BibTeX  RDF interactive, debugging, Haskell, Haskell, breakpoints
56Wolfgang Jeltsch Generic record combinators with static type checking. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF closed classes, higher-rank polymorphism, type equality, type families, type-level programming, type-level reification, generic programming, induction
56J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bi-directional programming, XML, lenses, harmony, view update problem
56Jørgen Villadsen Combinators for Paraconsistent Attitudes. Search on Bibsonomy LACL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
56Christian Schulte 0001 Programming Deep Concurrent Constraint Combinators. Search on Bibsonomy PADL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
56Richard Statman Effective Reduction and Conversion Strategies for Combinators. Search on Bibsonomy RTA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
53Guy Cousineau, Pierre-Louis Curien, Bernard J. Robinet (eds.) Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings Search on Bibsonomy Combinators and Functional Programming Languages The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
53Guy Cousineau, Pierre-Louis Curien, Michel Mauny, Ascánder Suárez Combinateures, Catégoriques et Implémentation des Languages Fonctionnels. Search on Bibsonomy Combinators and Functional Programming Languages The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
53Luca Cardelli Amber. Search on Bibsonomy Combinators and Functional Programming Languages The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
53Patrick Bellot, Bernard J. Robinet Streams are not Dreams. Search on Bibsonomy Combinators and Functional Programming Languages The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
53Luca Cardelli The Amber Machine. Search on Bibsonomy Combinators and Functional Programming Languages The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
53Joachim Lambek Cartesian Closed Categories and Typed Lambda- calculi. Search on Bibsonomy Combinators and Functional Programming Languages The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
53Gérard P. Huet Cartesian closed Categories and Lambda- calculus. Search on Bibsonomy Combinators and Functional Programming Languages The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
53Thierry Coquand Sur l'Analogie entre les Propositions et les Types. Search on Bibsonomy Combinators and Functional Programming Languages The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
53Simon L. Peyton Jones An Introduction to Fully-Lazy Supercombinators. Search on Bibsonomy Combinators and Functional Programming Languages The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
48Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman iTasks: executable specifications of interactive work flow systems for the web. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF iData, iTask, clean
48Richard B. Kieburtz Implementing Closed Domain-Specific Languages. Search on Bibsonomy SAIG The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
48Jean Goubault-Larrecq Conjunctive Types and SKInT. Search on Bibsonomy TYPES The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
48Adolfo Piperno A Compositive Abstraction Algorithm for Combinatory Logic. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Functional programming, Compiler design, Evaluation techniques
46Jerzy Karczmarczuk Functional Approach to Texture Generation. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF noise, images, combinators, tesselations, Clean
46N. Raja 0001, R. K. Shyamasundar Combinatory Formaulations of Concurrent Languages. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Quine-Bernays combinators, functional completeness
46Mitchell Wand Loops in Combinator-Based Compilers. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF combinators, loops
44Steffen Mazanek, Mark Minas Functional-Logic Graph Parser Combinators. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Damiano Mazza Edifices and Full Abstraction for the Symmetric Interaction Combinators. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Pawel T. Wojciechowski Concurrency Combinators for Declarative Synchronization. Search on Bibsonomy APLAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
44Gordon J. Pace The Semantics of Verilog Using Transition System Combinators. Search on Bibsonomy FMCAD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
44David Stevens Variable Substitution with Iconic Combinators. Search on Bibsonomy MFCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
44Corrado Böhm, Adolfo Piperno Surjectivity for Finite Sets of Combinators by Weak Reduction. Search on Bibsonomy CSL The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Pure -calculus, combinatory algebras, surjectivity, discriminability or X-separability in -()-calculus
44Patrick Bellot GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine. Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
36Malcolm Wallace Partial Parsing: Combining Choice with Commitment. Search on Bibsonomy IFL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Glenn Bruns, Daniel S. Dantas, Michael Huth 0001 A simple and expressive semantic framework for policy composition in access control. Search on Bibsonomy FMSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF access-control policy languages, multi-valued logic, bilattices
36Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman An Introduction to iTasks: Defining Interactive Work Flows for the Web. Search on Bibsonomy CEFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Lou Goble Combinator Logics. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fusion, residuation, substructural logics, Relevant logics, combinatory logic
36Paul A. Bailes, Colin J. M. Kemp Formal Methods within a Totally Functional Approach to Programming. Search on Bibsonomy 10th Anniversary Colloquium of UNU/IIST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Thierry Joly The Finitely Generated Types of the lambda-Calculus. Search on Bibsonomy TLCA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
36Andrew Moran, David Sands 0001, Magnus Carlsson Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language. Search on Bibsonomy COORDINATION The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Wil Dekkers, Martin W. Bunder, Henk Barendregt Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification:03B40
36Pieter W. M. Koopman, Marinus J. Plasmeijer Efficient Combinator Parsers. Search on Bibsonomy IFL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
36S. Mansoor Sarwar, S. J. Hahn, James A. Davis Implementing functional languages on a combinator-based reduction machine. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1988 DBLP  DOI  BibTeX  RDF SASL, Secd
36Paul Hudak, Eric Mohr Graphinators and the Duality of SIMD and MIMD. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
36James A. Davis A functional language architecture that supports fine-grain parallelism (extended abstract). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
33Janis Voigtländer Concatenate, reverse and map vanish for free. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF list abstraction, rank-2 types, shortcut deforestation, the concatenate vanishes, theorems for free, program transformation, denotational semantics, combinators, parametricity, correctness proofs
33James L. Caldwell Moving Proofs-As-Programs into Practice. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF proofs-as-programs, constructive type theory, correct-by-construction programs, inductive proofs, Nuprl rewrite system, fixed-point combinators, untyped lambda calculus, specifications, partial evaluation, lambda calculus, hierarchical verifications
33Pascal Fradet, Daniel Le Métayer Compilation of Functional Languages by Program Transformation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF program transformation, continuations, combinators
32Karthikeyan Bhargavan, Andrew D. Gordon 0001, Iman Narasamdya Service Combinators for Farming Virtual Machines. Search on Bibsonomy COORDINATION The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Karthikeyan Bhargavan, Andrew D. Gordon 0001, Iman Narasamdya Service Combinators for Farming Virtual Machines. Search on Bibsonomy TGC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Ralf Lämmel Scrap your boilerplate with XPath-like combinators. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF XML programming, generic functional programming
32Peter D. Mosses VDM Semantics of Programming Languages: Combinators and Monads. Search on Bibsonomy Formal Methods and Hybrid Real-Time Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander Constructing language processors with algebra combinators. Search on Bibsonomy GPCE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF modular monadic semantics, meta-programming
32Juan Fernández Ortiz, Jørgen Villadsen Natural Language Processing Using Lexical and Logical Combinators. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Michael Norrish, Konrad Slind Proof Pearl: Using Combinators to Manipulate let-Expressions in Proof. Search on Bibsonomy TPHOLs The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos A back-end for GHC based on categorical multi-combinators. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Wolfram Kahl Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators. Search on Bibsonomy PADL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
32Malcolm Wallace, Colin Runciman Haskell and XML: Generic Combinators or Type-Based Translation? Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
32Jan A. Bergstra, Inge Bethke, Alban Ponse Process Algebra with Combinators. Search on Bibsonomy CSL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF 1991 Mathematics Subject Classification 69C20, 69M10, 03B15, 03B40
32Leonidas Fegaras, Tim Sheard, David W. Stemple Uniform Traversal Combinators: Definition, Use and Properties. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
32Karl Meinke Equational Specification of Abstract Types and Combinators. Search on Bibsonomy CSL The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
32Richard Kennaway, M. Ronan Sleep Director Strings as Combinators. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
24Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook EffectiveAdvice: disciplined advice with explicit effects. Search on Bibsonomy AOSD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF AOP, interference, monads, parametricity, mixins
24David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra The Orc Programming Language. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell. Search on Bibsonomy DSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Glenn Bruns, Michael Huth 0001 Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis. Search on Bibsonomy CSF The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Belnap logic, access control, policy languages, policy analysis
24Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt Boomerang: resourceful lenses for string data. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bidirectional languages, regular string transducers, lenses, view update problem, regular types
24S. Doaitse Swierstra Combinator Parsing: A Short Tutorial. Search on Bibsonomy LerNet ALFA Summer School The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Malcolm Dowse, Andrew Butterfield Modelling deterministic concurrent I/O. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF concurrency, determinism, effects, monads, I/O
24Katalin Bimbó Admissibility of Cut in LC with Fixed Point Combinator. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF structurally free logics, fked point combinator, (multiple) cut rule, elimination theorem, substructural logics, non-classical logics, combinatory logic
24Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene Monadic augment and generalised short cut fusion. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF short cut fusion, monads, bind, build, augment
24Morten Rhiger Compiling Embedded Programs to Byte Code. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF domain-specific language, Just-in-time compilation, embedded language, OCaml
24Ed Brinksma On the Uniqueness of Fixpoints Modulo Observation Congruence. Search on Bibsonomy CONCUR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
24Edward Cherlin Pure Functions in APL and J. Search on Bibsonomy APL The full citation details ... 1991 DBLP  DOI  BibTeX  RDF APL
24John Field On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis. Search on Bibsonomy POPL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
24Mitchell Wand Semantics-Directed Machine Architecture. Search on Bibsonomy POPL The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
21Paul Tarau A Groupoid of Isomorphic Data Transformations. Search on Bibsonomy Calculemus/MKM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF computational mathematics in Haskell, data type transformations, ranking/unranking, Gödel numberings, higher order combinators, hylomorphisms
21Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime. Search on Bibsonomy Haskell The full citation details ... 2008 DBLP  DOI  BibTeX  RDF left-corner transform, typed abstract syntax, typed transformations, type systems, haskell, meta programming, gadt, parser combinators
21Richard A. Frost, Rahmatullah Hafiz A new top-down parsing algorithm to accommodate ambiguity and left recursion in polynomial time. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF left-recursion, top-down parsing, backtracking, memoization, parser combinators
21Mayer Goldberg A Variadic Extension of Curry's Fixed-Point Combinator. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF fixed-point combinators, applicative order, variadic functions, Scheme, lambda-calculus, fixed points
21Lee Spector, Jon Klein, Maarten Keijzer The Push3 execution stack and the evolution of control. Search on Bibsonomy GECCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF reversing a list, stack-based genetic programming, sorting, recursion, iteration, combinators, exponentiation, push, parity, Fibonacci sequence, factorial
21R. John M. Hughes, S. Doaitse Swierstra Polish parsers, step by step. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF GLR parsing, Polish representation, ambiguous grammars, online results, breadth-first search, parser combinators
21Bryan Ford Packrat parsing: : simple, powerful, lazy, linear time, functional pearl. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF scannerless parsing, top-down parsing, Haskell, backtracking, memoization, lexical analysis, parser combinators
21Rémi Douence, Pascal Fradet A Systematic Study of Functional Language Implementations. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF compilers, program transformation, functional programming, combinators, abstract machines
21Philip J. Koopman Jr., Peter Lee 0001, Daniel P. Siewiorek Cache Behavior of Combinator Graph Reduction. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF self-modifying code, combinators, abstract machine, graph reduction
21Charles Consel, Olivier Danvy From Interpreting to Compiling Binding Times. Search on Bibsonomy ESOP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF partial evaluation, actions, combinators, self-application
21Corrado Böhm Functional Programming and Combinatory Algebras. Search on Bibsonomy MFCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF algebraic programming, combinatory algebras, total recursive mappings on data structures, combinators and -terms in normal form, Functional programming
21David I. Bevan, Geoffrey Livingston Burn, R. J. Karia Overview of a Parallel Reduction Machine Project. Search on Bibsonomy PARLE (1) The full citation details ... 1987 DBLP  DOI  BibTeX  RDF parallel reduction, concurrent distributed garbage collection, COBWEB, evaluation transformers, function languages, combinators
21Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones A Safe Approach to Parallel Combinator Reduction (Extended Abstract). Search on Bibsonomy ESOP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF Parallel Reduction, Director Strings, Functional Languages, Combinators, Strictness Analysis
20James Koppel Typed Multi-Language Strategy Combinators. Search on Bibsonomy Eelco Visser Commemorative Symposium The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Sungsoo Han, Minseong Jang, Jeehoon Kang ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators. Search on Bibsonomy ASPLOS (2) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Cecil Accetti, Rendong Ying, Peilin Liu Structured Combinators for Efficient Graph Reduction. Search on Bibsonomy IEEE Comput. Archit. Lett. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 420 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license