The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase functional programming (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1974-1981 (33) 1982 (39) 1983-1984 (67) 1985 (48) 1986 (64) 1987 (55) 1988 (72) 1989 (99) 1990 (90) 1991 (92) 1992 (94) 1993 (107) 1994 (76) 1995 (109) 1996 (76) 1997 (74) 1998 (92) 1999 (115) 2000 (81) 2001 (80) 2002 (89) 2003 (99) 2004 (96) 2005 (117) 2006 (126) 2007 (119) 2008 (144) 2009 (113) 2010 (88) 2011 (86) 2012 (97) 2013 (99) 2014 (69) 2015 (80) 2016 (90) 2017 (39) 2018 (38) 2019 (8)
Publication types (Num. hits)
article(317) book(30) incollection(30) inproceedings(2639) phdthesis(48) proceedings(96)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2503 occurrences of 929 keywords

Results
Found 3160 publication records. Showing 3160 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
100Richard Kelsey, William D. Clinger, Jonathan Rees Revised5 Report on the Algorithmic Language Scheme. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SCHEME
57Roger L. Wainwright Introducing functional programming in discrete mathematics. Search on Bibsonomy SIGCSE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Miranda
55Farooq Butt Porting the mcc PowerPC C/C++ Compiler into an Interactive Development Environment. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1996 DBLP  DOI  BibTeX  RDF C++
53Charles D. Norton The International Workshop on Parallel C++ (IWPC++), Kanazawa, Ishikawa Prefecture, Japan. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1996 DBLP  DOI  BibTeX  RDF C++
51Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. Search on Bibsonomy FLOPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Functional and Logic- Functional Programming, Logic, Lazy Evaluation, Declarative Languages, Higher Order
50Brent Hailpern, Tien Huynh, György E. Révész Comparing Two Functional Programming Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF functional programming systems, graph reduction interpreter, DEL-style intermediate instruction set architecture, performance evaluation, benchmarks, functional programming, lambda calculus, functional languages, high level languages, execution times, performance comparison, FP, evaluation strategies, implementation language
48Mark P. Jones Functional Programming with Overloading and Higher-Order Polymorphism. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
48Erik Meijer 0001, Johan Jeuring Merging Monads and Folds for Functional Programming. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
48Philip Wadler Monads for Functional Programming. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
48Ben A. Sijtsma Requirements for a Functional Programming Environment. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
48Colin Runciman TIP in Haskell - another Exercise in Functional Programming. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
47Andrew W. Appel Intensional Equality ;=) for Continuations. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
46J Strother Moore Functional formal methods. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF functional programming, Java Virtual Machine, microarchitecture, software verification, Common Lisp, hardware verification, mechanical theorem proving
46Clifford Walinsky, Deb Banerjee A Functional Programming Language Compiler for Massively Parallel Computers. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
44Andrew M. Pitts A Fresh Approach to Representing Syntax with Static Binders in Functional Programming. Search on Bibsonomy ICFP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
43Erik Meijer 0001 Fundamentalist functional programming. Search on Bibsonomy GPCE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF pure functional programming, concurrency, monads, lazy evaluation, linq
43Baltasar Trancón y Widemann, Carl Friedrich Bolz, Clemens Grelck The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming - (Position Paper). Search on Bibsonomy Trends in Functional Programming The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
42Richard S. Bird Fifteen years of functional pearls. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Ralf Lämmel, Joost Visser Design patterns for functional strategic programming. Search on Bibsonomy ACM SIGPLAN Workshop on Rule-Based Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF strafunski, design patterns, program transformation, program analysis, functional programming, generic programming, combinator libraries
41Viktória Zsók, Zoltán Hernyák, Zoltán Horváth Designing Distributed Computational Skeletons in D-Clean and D-Box. Search on Bibsonomy CEFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Rex L. Page Software is discrete mathematics. Search on Bibsonomy ICFP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF software engineering, formal methods, functional programming, correctness proofs, discrete mathematics, predicate logic
40John Darlington, Yike Guo Narrowing and Unification in Functional Programming - An Evaluation Mechanism for Absolute Set Abstraction. Search on Bibsonomy RTA The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
40John Hannan, Dale Miller 0001 From Operational Semantics to Abstract Machines: Preliminary Results. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
39Peter Kourzanov, Henk J. Sips Lingua Franca of Functional Programming (FP). Search on Bibsonomy Trends in Functional Programming The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
39D. A. Turner Some History of Functional Programming Languages - (Invited Talk). Search on Bibsonomy Trends in Functional Programming The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
39Martin Grabmüller A model of functional programming with dynamic compilation and optimization. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2006 DBLP  BibTeX  RDF
39Kevin Hammond Is it time for real-time functional programming? Search on Bibsonomy Trends in Functional Programming The full citation details ... 2003 DBLP  BibTeX  RDF
39Kenneth MacKenzie, Nicholas Wolverson Camelot and Grail: resource-aware functional programming for the JVM. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2003 DBLP  BibTeX  RDF
39Sharon Curtis An application of functional programming: quilting. Search on Bibsonomy Scottish Functional Programming Workshop The full citation details ... 2000 DBLP  BibTeX  RDF
39Frédéric Loulergue Parallel composition and bulk synchronous parallel functional programming. Search on Bibsonomy Scottish Functional Programming Workshop The full citation details ... 2000 DBLP  BibTeX  RDF
39Johan Jeuring, Erik Meijer 0001 (eds.) Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text Search on Bibsonomy Advanced Functional Programming The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
39John Hughes The Design of a Pretty-printing Library. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
39Marko C. J. D. van Eekelen, Marinus J. Plasmeijer Constructing Medium Sized Efficient Functional Programs in Clean. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
39Thomas Hallgren, Magnus Carlsson Programming with Fudgets. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
39Jeroen Fokker Functional Parsers. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
39John Launchbury Graph Algorithms with a Functional Flavous. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
39Richard B. Kieburtz, Jeffrey Lewis Programming with Algebras. Search on Bibsonomy Advanced Functional Programming The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
39Andrew D. Gordon A Tutorial on Co-induction and Functional Programming. Search on Bibsonomy Functional Programming The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
39John Launchbury, Patrick M. Sansom (eds.) Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992 Search on Bibsonomy Functional Programming The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
39Rogardt Heldal, Carsten Kehler Holst, Philip Wadler (eds.) Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14 August 1991 Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39John T. O'Donnell Generating Netlists from Executable Circuit Specifications. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler Avoiding Unnecessary Updates. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Duncan C. Sinclair Graphical User Interfaces for Haskell. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Kei Davis Analysing Functions by Projection-Based Backward Abstraction. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Mark P. Jones Programming with Constructor Classes (Preliminary Summary). Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Will Partain The nofib Benchmark Suite of Haskell Programs. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39David J. King, Philip Wadler Combining Monads. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Geraint Jones, Mary Sheeran A Certain Loss of Identity. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler The Glasgow Haskell Compiler: A Retrospective. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Paul Sanders, Colin Runciman LZW Text Compression in Haskell. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Colin Runciman, David Wakeling Heap Profiling of a Lazy Functional Compiler. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39John Hughes, Andrew Moran A Semantics for Locally Bottom-Avoiding Choice. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Guy Argo GRIT: Guy's RISC Implementation of the Three Instruction. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Simon Marlow, Philip Wadler Deforestation for Higher-Order Functions. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Peter Achten, John H. G. van Groningen, Marinus J. Plasmeijer High Level Specification of I/O in Functional Languages. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Geoffrey L. Burn A Logical Framework for Program Analysis. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Kevin Hammond, Dave McNally, Patrick M. Sansom, Philip W. Trinder Improving Persistent Data Manipulation for Functional Languages. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Simon J. Thompson Formulating Haskell. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Alex Ferguson, John Hughes Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary). Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Patrick M. Sansom, Simon L. Peyton Jones Profiling Lazy Functional Programs. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Erik Meijer 0001 Hazard Algebra and the Design of Asynchronous Automata. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39André L. M. Santos, Simon L. Peyton Jones On Program Transformation in the Glasgow Haskell Compiler. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39John Hughes, Alex Ferguson A Loop-Detecting Interpreter for Lazy, Higher-Order Programs. Search on Bibsonomy Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Graham Hutton, Ed Voermans Making Functionality More General. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Carsten Kehler Holst, John Hughes A Loop-Detecting Interpreter for Lazy Programs. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39David R. Lester Vuillemin's Exact Real Arithmetic. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Kevin Hammond Efficient Type Inference Using Monads (Summary). Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Geoffrey L. Burn The Abstract interpretation of Higher-Order Functional Languages: From Properties to Abstract Domains (Technical Summary). Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Lars Rossen From Primitive Recursive Functions to Silicon through Relations. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Guy Argo A New Sharing Mechanism for the TIM. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Andrew John Gill A Novel Approach Towards Peephole Optimisations. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Rogardt Heldal Generating More Practical Compilers by Partial Evaluation. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Kei Davis A Note on the Choice of Domains for Projection-Based Program Analysis. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Cordelia V. Hall Strictness Analysis Using Hindley-Milner Type Inference. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39David Sands Operational Theories of Improvement in Functional Languages (Extended Abstract). Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Paul Sanders Experiments in Haskell - A Network Simulation Algorithm. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Nick Rothwell Functional Compilation from the Standard ML Core Language to Lambda Calculus. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Ryszard Kubiak, John Hughes, John Launchbury Implementing Projection-based Strictness Analysis. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Patrick M. Sansom Combining Single-Space and Two-Space Compacting Garbage Collectors. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Manfred Schmidt-Schauß External Function Calls in a Functional Language. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Geraint Jones Getting Your Wires Crossed. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Geoff W. Hamilton, Simon B. Jones Extending Deforestation for First Order functional Programs. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder A Parallel Functional Database on GRIP. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Mary Sheeran A Note on Abstraction in Ruby. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Satnam Singh Using XView/X11 from Miranda. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Deryck Forsyth Brown, Hermano Moura, David A. Watt ACTRESS: An Action Semantics Directed Compiler Generator (Summary). Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39David Murphy A Semantics for Relational Programming. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Carsten K. Gomard, Peter Sestoft Evaluation Order Analysis for Lazy Data Structures. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Alain Deutsch An Operational Model of Strictness Properties and Its Abstractions (Extended Abstract). Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Lennart Augustsson BWM: A Concrete Machine for Graph Reduction. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39Duncan C. Sinclair Debugging by Dataflow - Summary. Search on Bibsonomy Functional Programming The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
39J.-F. Giorgi, Daniel Le Métayer Continuation-Based Parallel Implementation of Functional Programming Languages. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
39Graham Hutton Functional Programming with Relations. Search on Bibsonomy Functional Programming The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
39A. C. Reeves, D. A. Harrsion, A. F. Sinclair, P. Williamson Gerald: An Exceptional Lazy Functional Programming Language. Search on Bibsonomy Functional Programming The full citation details ... 1989 DBLP  BibTeX  RDF
39Paul Roe Some Ideas On Parallel Functional Programming. Search on Bibsonomy Functional Programming The full citation details ... 1989 DBLP  BibTeX  RDF
39Takuya Katayama Type Inference and Type Checking for Functional Programming Languages: A Reduced Computation Approach. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1984 DBLP  BibTeX  RDF
39Corrado Böhm Combinatory Foundation of Functional Programming. Search on Bibsonomy Symposium on LISP and Functional Programming The full citation details ... 1982 DBLP  BibTeX  RDF
39Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt JoCaml: A Language for Concurrent Distributed and Mobile Programming. Search on Bibsonomy Advanced Functional Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38John Darlington, Peter G. Harrison, Hessam Khoshnevisan, Lee McLoughlin, Nigel Perry, Helen Pull, Mike Reeve, Keith Sephton, R. Lyndon While, Sue Wright A Functional Programming Environment Supporting Execution, Partial Execution and Transformation. Search on Bibsonomy PARLE (1) The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Functional programming environment, program transformation, partial evaluation, parallel execution
38Rinus Plasmeijer, Arjen van Weelden A Functional Shell That Operates on Typed and Compiled Applications. Search on Bibsonomy Advanced Functional Programming The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 3160 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license