BibSonomy

The blue social bookmark and publication sharing system.

( en | de | ru )

 

user
  • tag
  • user
  • group
  • author
  • concept
  • BibTeX key
  • search
@emanuel
  • sign in
  • register
  • groups
  • genealogy
  • popular 
    • posts
    • tags
    • authors
    • concepts
    • discussions
  • sign in
  • register

Login

Log in with your username.

@

I've lost my password.


Log in with your OpenID-Provider.

  • Other OpenID-Provider
  1. user
  2. @emanuel
  3. functional_programming programming higher-order_functions

Publication title

bookmarks  (hide)
  • display
  • all
  • bookmarks only
  • bookmarks per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • sort by
  • added at
  • title
  • RSS
  • BibTeX
  • XML

    No matching posts.
  • ⟨⟨
  • ⟨
  • ⟩
  • ⟩⟩

publications  (hide)1  
  • display
  • all
  • publications only
  • publications per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • sort by
  • added at
  • title
  • author
  • publication date
  • entry type
  • help for advanced sorting...
  • RSS
  • BibTeX
  • RDF
  • more...

  •  

     
    5Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
     

    E. Meijer, M. Fokkinga, and R. Paterson. Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture (FPCA'91), page 124--144. Springer Verlag, (1991)
    17 years ago by @emanuel
    show all tags
    • catamorphisms
    • formal_methods
    • functional_programming
    • higher-order_functions
    • programming
    • recursion_theory
    • seminal_paper
     
      catamorphismsformal_methodsfunctional_programminghigher-order_functionsprogrammingrecursion_theoryseminal_paper
      (0)
      copydeleteadd this publication to your clipboard
      • community post
      • history of this post
      • URL
      • DOI
      • BibTeX
      • EndNote
      • APA
      • Chicago
      • DIN 1505
      • Harvard
      • MSOffice XML
       
       
    • ⟨⟨
    • ⟨
    • 1
    • ⟩
    • ⟩⟩

    browse

    • functional_programming programming higher-order_functions as tag from all users
    • programming as concept from all users
    • functional_programming programming higher-order_functions as concept from all users

    related tags

    • + | catamorphisms
    • + | formal_methods
    • + | recursion_theory
    • + | seminal_paper

    concepts

    tags

    • inductive_programming
    • program_synthesis
    • induction
    • ilp
    • ifp
    • enumerative_ip
    • machine_learning
    • analytical_ip
    • ip-system
    • recursion
    • inproceedings
    • program_evolution
    • gp
    • article
    • higher-order_functions
    • ase
    • learnability
    • book
    • applications
    • term_rewriting
    • seminal_paper
    • lisp
    • igor2
    • adate
    • deductive_program_synthesis
    • comparison
    • experiment
    • software_engineering
    • igor1
    • foil
    • recursive_program_schemes
    • functional_programming
    • survey
    • program_transformation
    • overview
    • algebraic_specification
    • predicate_invention
    • cognition
    • olsson
    • programming
    • iflp
    • constructor_systems
    • pac-learning
    • planning
    • synthesis_from_traces
    • community
    • flip
    • logic
    • parallel_programming
    • pre-summers
    What is BibSonomy?
    Getting Started
    Browser Buttons
    Help
    Developer
    Overview
    API Documentation
    Contact & Privacy
    Contact
    Privacy & Terms of Use
    Cookies
    Report Issues
    BibSonomy Wiki
    Integration
    PUMA
    TYPO3 Extension
    WordPress Plugin
    Java REST Client
    Supported Sites
    more
    About BibSonomy
    Team
    Blog
    Mailing List
    Social Media
     Follow us on Twitter

    BibSonomy is offered by the Data Science Chair of the University of Würzburg, the Information Processing and Analytics Group of the Humboldt-Unversität zu Berlin, the KDE Group of the University of Kassel, and the L3S Research Center.