咨询与建议

限定检索结果

文献类型

  • 3 篇 会议

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 软件工程
    • 2 篇 计算机科学与技术...

主题

  • 3 篇 generic function...
  • 1 篇 languages
  • 1 篇 bidirectional pr...
  • 1 篇 software transfo...
  • 1 篇 design
  • 1 篇 xml programming
  • 1 篇 domain specific ...
  • 1 篇 rewriting
  • 1 篇 monads
  • 1 篇 stratego
  • 1 篇 traversal strate...
  • 1 篇 haskell
  • 1 篇 isabelle/hol
  • 1 篇 lenses
  • 1 篇 view update

机构

  • 1 篇 christian albret...
  • 1 篇 natl inst inform...
  • 1 篇 microsoft corp d...
  • 1 篇 univ koblenz lan...

作者

  • 1 篇 kaiser markus
  • 1 篇 hu zhenjiang
  • 1 篇 laemmel ralf
  • 1 篇 lammel ralf
  • 1 篇 fischer sebastia...
  • 1 篇 pacheco hugo

语言

  • 3 篇 英文
检索条件"主题词=generic functional programming"
3 条 记 录,以下是1-10 订阅
排序:
Monadic Combinators for "Putback" Style Bidirectional programming  14
Monadic Combinators for "Putback" Style Bidirectional Progra...
收藏 引用
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)
作者: Pacheco, Hugo Hu, Zhenjiang Fischer, Sebastian Natl Inst Informat Tokyo Japan Christian Albretchs Univ Kiel Kiel Germany
Bidirectional transformations, in particular lenses, are programs with a forward get transformation and a backward putback transformation that keep source and view data types synchronized. Several bidirectional progra... 详细信息
来源: 评论
Scrap your boilerplate with XPath-like combinators  07
Scrap your boilerplate with XPath-like combinators
收藏 引用
34th ACM SIGPLAN-SIGACT Symposium on Principles of programming Languages
作者: Lammel, Ralf Microsoft Corp Data Programmability Team Redmond WA 98052 USA
XML programming involves idioms for expressing 'structure shyness' such as the descendant axis of XPath or the default templates of XSLT. We initiate a discussion of the relationships between such XML idioms a... 详细信息
来源: 评论
An Isabelle/HOL-based Model of Stratego-like Traversal Strategies
An Isabelle/HOL-based Model of Stratego-like Traversal Strat...
收藏 引用
11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative programming (PPDP 09)
作者: Kaiser, Markus Laemmel, Ralf Univ Koblenz Landau Software Languages Team Koblenz Germany
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional programming such as Strafunski or "S... 详细信息
来源: 评论