咨询与建议

限定检索结果

文献类型

  • 6 篇 会议
  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 5 篇 工学
    • 4 篇 计算机科学与技术...
    • 2 篇 软件工程
    • 1 篇 电气工程
  • 1 篇 理学
    • 1 篇 数学

主题

  • 2 篇 functional progr...
  • 1 篇 object oriented ...
  • 1 篇 self-delimiting ...
  • 1 篇 foundations
  • 1 篇 programming
  • 1 篇 background knowl...
  • 1 篇 agda
  • 1 篇 dependent type
  • 1 篇 infinite data
  • 1 篇 software enginee...
  • 1 篇 observers
  • 1 篇 exhaustible set
  • 1 篇 functional depen...
  • 1 篇 hereditarily fin...
  • 1 篇 logic
  • 1 篇 ranking/unrankin...
  • 1 篇 search
  • 1 篇 knowledge discov...
  • 1 篇 semantics
  • 1 篇 computational ma...

机构

  • 1 篇 siemens ag corp ...
  • 1 篇 computer science...
  • 1 篇 univ birmingham ...
  • 1 篇 univ n texas dep...
  • 1 篇 functional progr...
  • 1 篇 tech univ appl s...
  • 1 篇 tech univ appl s...
  • 1 篇 mathematical sci...
  • 1 篇 university of no...
  • 1 篇 institute of cyb...

作者

  • 1 篇 morik k
  • 1 篇 van gijzel bas
  • 1 篇 tarau paul
  • 1 篇 mauerer wolfgang
  • 1 篇 wagner eric g.
  • 1 篇 brockhausen p
  • 1 篇 oliva paulo
  • 1 篇 capretta venanzi...
  • 1 篇 murr florian
  • 1 篇 escardo martin
  • 1 篇 chapman james

语言

  • 8 篇 英文
检索条件"任意字段=3rd Workshop on Mathematically Structured Functional Programming"
8 条 记 录,以下是1-10 订阅
排序:
What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common
What Sequential Games, the Tychonoff Theorem and the Double-...
收藏 引用
3rd workshop on mathematically structured functional programming
作者: Escardo, Martin Oliva, Paulo Univ Birmingham Birmingham B15 2TT W Midlands England
This is a tutorial for mathematically inclined functional programmers, based on previously published, peered reviewed theoretical work. We discuss a higher-type functional, written here in the functional programming l... 详细信息
来源: 评论
Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes
Hereditarily Finite Representations of Natural Numbers and S...
收藏 引用
3rd workshop on mathematically structured functional programming
作者: Tarau, Paul Univ N Texas Dept Comp Sci & Engn Denton TX 76203 USA
Using a bijection between natural numbers and hereditarily finite functions we derive a new reversible variable length self-delimiting code through a bitstring representation in a balanced parenthesis language. The co... 详细信息
来源: 评论
MSFP'10 - Proceedings of the 2010 ACM SIGPLAN workshop on mathematically structured functional programming, Co-located with ICFP'10
MSFP'10 - Proceedings of the 2010 ACM SIGPLAN Workshop on Ma...
收藏 引用
3rd workshop on mathematically structured functional programming, MSFP 2010
The proceedings contain 5 papers. The topics discussed include: hereditary substitutions for simple types, formalized;hereditarily finite representations of natural numbers and self-delimiting codes;foundational progr...
来源: 评论
A multistrategy approach to relational knowledge discovery in databases
收藏 引用
MACHINE LEARNING 1997年 第3期27卷 287-312页
作者: Morik, K Brockhausen, P Computer Science Department LS VIII Univ. Dortmund Dortmund
When learning from very large databases, the reduction of complexity is extremely important. Two extremes of making knowledge discovery in databases (KDD) feasible have been put forward. One extreme is to choose a ver... 详细信息
来源: 评论
McFSM: Globally Taming Complex Systems  3
McFSM: Globally Taming Complex Systems
收藏 引用
IEEE/ACM 3rd International workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)
作者: Murr, Florian Mauerer, Wolfgang Siemens AG Corp Res Otto Hahn Ring 6 D-81739 Munich Germany Tech Univ Appl Sci Regensburg Siemens AG Corp Res Regensburg Germany Tech Univ Appl Sci Regensburg Siemens AG Corp Res Munich Germany
Industrial computing devices, in particular cyber-physical, real-time and safety-critical systems, focus on reacting to external events and the need to cooperate with other devices to create a functional system. They ... 详细信息
来源: 评论
Tools for the implementation of argumentation models
Tools for the implementation of argumentation models
收藏 引用
3rd Imperial College Computing Student workshop, ICCSW 2013
作者: Van Gijzel, Bas Functional Programming Laboratory School of Computer Science University of Nottingham United Kingdom
The structured approach to argumentation has seen a surge of models, introducing a multitude of ways to deal with the formalisation of arguments. However, while the development of the mathematical models have flourish... 详细信息
来源: 评论
Proceedings of the ACM SIGPLAN International Conference on functional programming, ICFP: Foreword
Proceedings of the ACM SIGPLAN International Conference on F...
收藏 引用
Proceedings of the ACM SIGPLAN International Conference on functional programming, ICFP 2010年 iii页
作者: Capretta, Venanzio Chapman, James University of Nottingham United Kingdom Institute of Cybernetics Tallinn Estonia
来源: 评论
Semantics of block structured languages with pointers  3rd
Semantics of block structured languages with pointers
收藏 引用
3rd workshop on the Mathematical Foundations of programming Language Semantics, 1987
作者: Wagner, Eric G. Mathematical Sciences Department IBM T.J. Watson Research Center Yorktown HeightsNY10598 United States
This paper presents an algebraic and categorical approach to the mathematical modeling of imperative programming languages. In particular we model languages with block structure, records and variants, user definable r... 详细信息
来源: 评论