检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

13 篇 会议
6 篇 期刊文献

馆藏范围

19 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

19 篇 工学
- 15 篇 软件工程
- 12 篇 计算机科学与技术...
- 1 篇 材料科学与工程（可...
- 1 篇 电气工程

主题

19 篇 datatype-generic...
5 篇 haskell
3 篇 dependent types
2 篇 scrap your boile...
2 篇 functors
2 篇 equirecursive ty...
2 篇 partial evaluati...
2 篇 dependently type...
2 篇 tactics
2 篇 optimization
2 篇 inductive famili...
2 篇 meta-programming
1 篇 performance
1 篇 compilers
1 篇 kind polymorphis...
1 篇 modularization a...
1 篇 universe polymor...
1 篇 agda
1 篇 combinators
1 篇 polytypic progra...

机构

4 篇 univ utrecht dep...
2 篇 univ tubingen tu...
2 篇 univ oxford dept...
2 篇 univ kansas info...
2 篇 katholieke univ ...
1 篇 seoul natl univ ...
1 篇 univ oxford oxfo...
1 篇 univ tokyo grad ...
1 篇 radboud univ nij...
1 篇 univ gothenburg ...
1 篇 st petersburg st...
1 篇 univ illinois de...
1 篇 hankyong natl un...
1 篇 univ utrecht nl-...
1 篇 univ oxford comp...
1 篇 univ oxford dept...
1 篇 department of co...
1 篇 univ utah sch co...
1 篇 univ illinois de...
1 篇 chalmers univ te...

作者

4 篇 magalhaes jose p...
3 篇 oliveira bruno c...
3 篇 jeuring johan
2 篇 cai yufei
2 篇 loh andres
2 篇 devriese dominiq...
2 篇 piessens frank
2 篇 farmer andrew
2 篇 ko hsiang-shang
2 篇 rodriguez alexey
2 篇 gibbons jeremy
2 篇 giarrusso paolo ...
2 篇 ostermann klaus
2 篇 adams michael d.
1 篇 gerdes alex
1 篇 jansson patrik
1 篇 kiselyov oleg
1 篇 van steenbergen ...
1 篇 yi kwangkeun
1 篇 van noort thomas

语言

17 篇 英文
2 篇 其他

检索条件"主题词=datatype-generic programming"

共 19 条记录，以下是11-20 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

A Lightweight Approach to datatype-generic Rewriting

A Lightweight Approach to Datatype-Generic Rewriting

引用

ACM SIGPLAN Workshop on generic programming

作者： van Noort, Thomas Rodriguez, Alexey Holdermans, Stefan Jeuring, Johan Heeren, Bastiaan Radboud Univ Nijmegen Inst Comp & Informat Sci NL-6500 GL Nijmegen Netherlands

ISBN: (纸本)9781605580609

Previous implementations Of generic rewriting libraries have a number of limitations: they require the user to either adapt the datatype on which rewriting is applied, or the rewriting rules are specified as functions, which makes it hard or impossible to document, test, and analyse them. We describe a library that demonstrates how to overcome these limitations by defining rules in terms of datatypes, and show how to use a type-indexed datatype to automatically extend a datatype for syntax trees with a case for metavariables. We then show how rewrite rules can be implemented without any knowledge of how the datatype is extended with metavariables. We use Haskell, extended with associated type synonyms, to implement both type-indexed datatypes and generic functions. We analyse the performance of our library and compare it with other approaches to generic rewriting.

关键词： datatype-generic programming term rewriting

来源：评论

学校读者我要写书评

暂无评论

Optimizing SYB Is Easy! 14

Optimizing SYB Is Easy!

引用

ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)

作者： Adams, Michael D. Farmer, Andrew Magalhaes, Jose Pedro Univ Illinois Dept Comp Sci Champaign IL 61820 USA Univ Kansas Informat & Telecommun Technol Ctr Lawrence KS 66045 USA Univ Oxford Dept Comp Sci Oxford England

ISBN: (纸本)9781450326193

The most widely used generic-programming system in the Haskell community, Scrap Your Boilerplate (SYB), also happens to be one of the slowest. generic traversals in SYB are often an order of magnitude slower than equivalent handwritten, non-generic traversals. Thus while SYB allows the concise expression of many traversals, its use incurs a significant runtime cost. Existing techniques for optimizing other generic-programming systems are not able to eliminate this overhead. This paper presents an optimization that completely eliminates this cost. Essentially, it is a partial evaluation that takes advantage of domain-specific knowledge about the structure of SYB. It optimizes SYB-style traversals to be as fast as handwritten, non-generic code, and benchmarks show that this optimization improves the speed of SYB-style code by an order of magnitude or more.

关键词： optimization partial evaluation datatype-generic programming Haskell Scrap Your Boilerplate (SYB) performance

来源：评论

学校读者我要写书评

暂无评论

Type-Safe Diff for Families of datatypes

Type-Safe Diff for Families of Datatypes

引用

ACM SIGPLAN Workshop on generic programming

作者： Lempsink, Eelco Leather, Sean Loh, Andres Univ Utrecht Dept Informat & Comp Sci NL-3508 TB Utrecht Netherlands

ISBN: (纸本)9781605585109

The UNIX diff program finds the difference between two text files using a classic algorithm for determining the longest common subsequence;however, when working with structured input (e.g. program code), we often want to find the difference between tree-like data (e.g. the abstract syntax tree). In a functional programming language such as Haskell, we can represent this data with a family of (mutually recursive) datatypes. In this paper, we describe a functional, datatype-generic implementation of diff (and the associated program patch). Our approach requires advanced type system features to preserve type safety;therefore, we present the code in Agda, a dependently-typed language well-suited to datatype-generic programming. In order to establish the usefulness of our work, we show that its efficiency can be improved with memoization and that it can also be defined in Haskell.

关键词： Dependent types datatype-generic programming Edit distance

来源：评论

学校读者我要写书评

暂无评论

generic Storage in Haskell

Generic Storage in Haskell

引用

6th ACM SIGPLAN Workshop on generic programming

作者： Visser, Sebastiaan Loh, Andres Univ Utrecht Dept Informat & Comp Sci NL-3508 TB Utrecht Netherlands

ISBN: (纸本)9781450302517

We present a framework for constructing functional data structures that can be stored on disk. The data structures reside in a heap saved in a binary file. Operations read and write only the parts of the data structure that are actually needed. The framework is based on expressing datatypes as fixed points of functors and then annotating the recursive positions with additional information. We explain how functions, if expressed in terms of standard recursion patterns, can be easily lifted from a pure setting to an effectful, annotated scenario. As a running example, we sketch how to implement a persistent library of finite maps based on binary search trees.

关键词： datatype-generic programming fixed points annotations

来源：评论

学校读者我要写书评

暂无评论

Modularising Inductive Families

Modularising Inductive Families

引用

7th ACM SIGPLAN Workshop on generic programming (WGP 2011)

作者： Ko, Hsiang-Shang Gibbons, Jeremy Univ Oxford Dept Comp Sci Oxford OX1 2JD England

ISBN: (纸本)9781450308618

Dependently typed programmers are encouraged to use inductive families to integrate constraints with data construction. Different constraints are used in different contexts, leading to different versions of datatypes for the same data structure. Modular implementation of common operations for these structurally similar datatypes has been a longstanding problem. We propose a datatype-generic solution based on McBride's datatype ornaments [11], exploiting an isomorphism whose interpretation borrows ideas from realisability. Relevant properties of the operations are separately proven for each constraint, and after the programmer selects several constraints to impose on a basic datatype and synthesises an inductive family incorporating those constraints, the operations can be routinely upgraded to work with the synthesised inductive family.

关键词： Dependently Typed programming Inductive Families datatype-generic programming

来源：评论

学校读者我要写书评

暂无评论

generic Selections of Subexpressions

Generic Selections of Subexpressions

引用

6th ACM SIGPLAN Workshop on generic programming

作者： van Steenbergen, Martijn Magalhaes, Jose Pedro Jeuring, Johan Univ Utrecht Dept Informat & Comp Sci NL-3508 TB Utrecht Netherlands

ISBN: (纸本)9781450302517

Tools for computer languages need position information: compilers for providing better error messages, structure editors for mapping between structural and textual views, and debuggers for navigating through a term, for instance. Manually adding position information to an abstract syntax tree is tedious and requires pervasive changes: the original tree becomes verbose and every function operating on it needs to be adapted. In this paper, we describe how to automatically extend datatypes with position information using datatype-generic programming techniques. Furthermore, we show examples of how to use this position information: parsers that automatically construct trees annotated with positions, catamorphisms that deal with failure by reporting error locations, and zippers that efficiently navigate annotated trees. The generic programming technique we describe is applicable to a wide range of domains.

关键词： datatype-generic programming haskell selections

来源：评论

学校读者我要写书评

暂无评论

Functional Modelling of Musical Harmony An experience report 11

Functional Modelling of Musical Harmony An experience report

引用

16th ACM SIGPLAN International Conference on Functional programming (ICFP 11)

作者： Magalhaes, Jose Pedro de Haas, W. Bas Univ Utrecht Dept Informat & Comp Sci NL-3508 TB Utrecht Netherlands

ISBN: (纸本)9781450308656

Music theory has been essential in composing and performing music for centuries. Within Western tonal music, from the early Baroque on to modern-day jazz and pop music, the function of chords within a chord sequence can be explained by harmony theory. Although Western tonal harmony theory is a thoroughly studied area, formalising this theory is a hard problem. We present a formalisation of the rules of tonal harmony as a Haskell (generalized) algebraic datatype. Given a sequence of chord labels, the harmonic function of a chord in its tonal context is automatically derived. For this, we use several advanced functional programming techniques, such as type-level computations, datatype-generic programming, and error-correcting parsers. As a detailed example, we show how our model can be used to improve content-based retrieval of jazz songs. We explain why Haskell is the perfect match for these tasks, and compare our implementation to an earlier solution in Java. We also point out shortcomings of the language and libraries that limit our work, and discuss future developments which may ameliorate our solution.

关键词： haskell music tonal harmony datatype-generic programming modelling

来源：评论

学校读者我要写书评

暂无评论

GMETA: A generic Formal Metatheory Framework for First-Order Representations

GMETA: A Generic Formal Metatheory Framework for First-Order...

引用

21st European Symposium on programming (ESOP) held as Part of the 15th European Joint Conferences on Theory and Practice of Software (ETAPS)

作者： Lee, Gyesik Oliveira, Bruno C. D. S. Cho, Sungkeun Yi, Kwangkeun Hankyong Natl Univ Ausung city South Korea Seoul Natl Univ ROSAEC Ctr Seoul 151 South Korea

ISBN: (纸本)9783642288685;9783642288692

This paper presents GMETA: a generic framework for first-order representations of variable binding that provides once and for all many of the so-called infrastructure lemmas and definitions required in mechanizations of formal metatheory. The key idea is to employ datatype-generic programming (DGP) and modular programming techniques to deal with the infrastructure overhead. Using a generic universe for representing a large family of object languages we define datatype-generic libraries of infrastructure for first-order representations such as locally nameless or de Bruijn indices. Modules are used to provide templates: a convenient interface between the datatype-generic libraries and the end-users of GMeta. We conducted case studies based on the POPLmark challenge, and showed that dealing with challenging binding constructs, like the ones found in System F<:, is possible with GMeta. All of GMETA's generic infrastructure is implemented in the Coq theorem prover. Furthermore, due to GMETA's modular design, the libraries can be easily used, extended, and customized by users.

关键词： Mechanization variable binding first-order representations POPLmark challenge datatype-generic programming Coq

来源：评论

学校读者我要写书评

暂无评论

Scala for generic Programmers

Scala for Generic Programmers

引用

ACM SIGPLAN Workshop on generic programming

作者： Oliveira, Bruno C. d. S. Gibbons, Jeremy Univ Oxford Comp Lab Oxford OX1 3QD England

ISBN: (纸本)9781605580609

datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as 'list of'. Most approaches to datatype-generic programming are developed in the lazy functional programming language Haskell. We argue that the functional object-oriented language Scala is in many ways a better setting. Not only does Scala provide equivalents of all the necessary functional programming features (such parametric polymorphism, higher-order functions, higher-kinded type operations, and type- and constructor-cl asses), but it also provides the most useful features of object-oriented languages (such as subtyping, overriding, traditional single inheritance, and multiple inheritance in the form of traits). We show how this combination of features benefits datatype-generic programming, using three different approaches as illustrations.

关键词： datatype-generic programming Polytypic programming Scala

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共2页 << < 1 2 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：