BibSonomy

Синяя социальная система управления закладками и публикациями.

( en | de | ru )

 

пользователь
  • тэг
  • пользователь
  • группа
  • автор
  • концепция
  • BibTeX-ключ
  • поиск
@emanuel
  • войти в систему
  • регистрация
  • группы
  • популярные 
    • записи
    • тэги
    • авторы
    • концепции
    • обсуждения
  • войти в систему
  • регистрация

Login

Log in with your username.

@

Я забыл свой пароль.


Log in with your OpenID-Provider.

  • Other OpenID-Provider
  1. пользователь
  2. @emanuel
  3. functional_programming higher-order_functions

Publication title

закладки  (спрятать)
  • показать
  • всё
  • только закладки
  • закладки на страницу
  • 5
  • 10
  • 20
  • 50
  • 100
  • RSS
  • BibTeX
  • XML

    Нет подходящих.
  • ⟨⟨
  • ⟨
  • ⟩
  • ⟩⟩

публикации  (спрятать)1  
  • показать
  • всё
  • только публикации
  • публикации на страницу
  • 5
  • 10
  • 20
  • 50
  • 100
  • расширенный...
  • RSS
  • BibTeX
  • RDF
  • дальше...

  •  

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

    E. Meijer, M. Fokkinga, и R. Paterson. Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture (FPCA'91), стр. 124--144. Springer Verlag, (1991)
    17 лет назад , @emanuel
    • catamorphisms
    • formal_methods
    • functional_programming
    • higher-order_functions
    • programming
    • recursion_theory
    • seminal_paper
     
      catamorphismsformal_methodsfunctional_programminghigher-order_functionsprogrammingrecursion_theoryseminal_paper
      (0)
      копироватьудалитьдобавить публикацию в буфер
      • Запись сообщества
      • посмотреть историю данной записи
      • URL
      • DOI
      • BibTeX
      • EndNote
      • APA
      • Chicago
      • DIN 1505
      • Harvard
      • MSOffice XML
       
       
    • ⟨⟨
    • ⟨
    • 1
    • ⟩
    • ⟩⟩

    просмотр

    • functional_programming higher-order_functions как тэг всех пользователей

    сходные по теме тэги

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

    концепции

    тэги

    • 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
    • deductive_program_synthesis
    • adate
    • recursive_program_schemes
    • comparison
    • experiment
    • software_engineering
    • igor1
    • foil
    • survey
    • functional_programming
    • algebraic_specification
    • predicate_invention
    • cognition
    • program_transformation
    • overview
    • synthesis_from_traces
    • olsson
    • programming
    • iflp
    • constructor_systems
    • pac-learning
    • planning
    • pre-summers
    • recursion_theory
    • dialogs
    • community
    • logic
    Что такое BibSonomy?
    С чего начать
    Кнопки для браузера
    Помощь
    Разработчикам
    Обзор
    API-документация
    Контакт и защита личных данных
    о нас
    Cookies
    Сообщить о проблеме
    BibSonomy Вики
    Интеграция
    PUMA
    Расширение для TYPO3
    Плагин для
    Клиент Java REST
    Поддерживаемые источники
    далее
    О BibSonomy
    Команда
    Блог
    Список рассылки
    Социальные сети
     Наш Twitter

    BibSonomy разработана командами Knowledge and Data Engineering Group университета Касселя, Data Mining and Information Retrieval group Вюрцбургского университета и исследовательским центром L3S, Ганновер, Германия.