咨询与建议

限定检索结果

文献类型

  • 122 篇 期刊文献
  • 110 篇 会议
  • 4 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 207 篇 工学
    • 154 篇 计算机科学与技术...
    • 131 篇 软件工程
    • 14 篇 电气工程
    • 8 篇 控制科学与工程
    • 3 篇 机械工程
    • 3 篇 信息与通信工程
    • 2 篇 材料科学与工程(可...
    • 1 篇 力学(可授工学、理...
    • 1 篇 冶金工程
    • 1 篇 电子科学与技术(可...
  • 35 篇 理学
    • 25 篇 数学
    • 5 篇 物理学
    • 4 篇 生物学
    • 2 篇 统计学(可授理学、...
    • 1 篇 地球物理学
    • 1 篇 系统科学
  • 4 篇 管理学
    • 3 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...
  • 3 篇 医学
    • 2 篇 临床医学
    • 1 篇 基础医学(可授医学...

主题

  • 236 篇 generic programm...
  • 23 篇 c plus
  • 21 篇 haskell
  • 16 篇 languages
  • 15 篇 design
  • 13 篇 c++
  • 12 篇 type classes
  • 11 篇 polymorphism
  • 10 篇 template metapro...
  • 9 篇 algorithms
  • 8 篇 generics
  • 8 篇 java
  • 8 篇 functional progr...
  • 7 篇 cgal
  • 7 篇 c#
  • 6 篇 performance
  • 6 篇 type systems
  • 6 篇 concepts
  • 6 篇 scientific compu...
  • 5 篇 standard templat...

机构

  • 10 篇 texas a&m univ c...
  • 7 篇 indiana univ ope...
  • 5 篇 indiana univ blo...
  • 5 篇 texas a&m univer...
  • 4 篇 univ edinburgh e...
  • 4 篇 max planck inst ...
  • 3 篇 radboud univ nij...
  • 3 篇 delft univ techn...
  • 3 篇 indiana univ dep...
  • 3 篇 inria f-06902 so...
  • 2 篇 nanyang technol ...
  • 2 篇 oak ridge natl l...
  • 2 篇 microsoft corp r...
  • 2 篇 univ utrecht dep...
  • 2 篇 chinese acad sci...
  • 2 篇 johannes kepler ...
  • 2 篇 univ chinese aca...
  • 2 篇 rensselaer polyt...
  • 2 篇 cwi nl-1009 ab a...
  • 2 篇 nanjing univ sta...

作者

  • 11 篇 lumsdaine a
  • 6 篇 järvi j
  • 5 篇 mcbride conor
  • 5 篇 lumsdaine andrew
  • 5 篇 miraldo victor c...
  • 5 篇 stroustrup bjarn...
  • 4 篇 berberich eric
  • 4 篇 yallop jeremy
  • 4 篇 jaervi jaakko
  • 4 篇 jones sp
  • 4 篇 wu nicolas
  • 4 篇 lämmel r
  • 4 篇 gregor d
  • 4 篇 serrano alejandr...
  • 3 篇 stylianou christ...
  • 3 篇 siek jeremy
  • 3 篇 siek j
  • 3 篇 hinze ralf
  • 3 篇 weiland michele
  • 3 篇 schupp s

语言

  • 216 篇 英文
  • 20 篇 其他
检索条件"主题词=Generic Programming"
236 条 记 录,以下是131-140 订阅
排序:
Scrap your nameplate (Functional pearl)  05
Scrap your nameplate (Functional pearl)
收藏 引用
10th ACM SIGPLAN International Conference on Functional programming (ICFP)
作者: Cheney, J Univ Edinburgh Edinburgh Midlothian Scotland
Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some implementations of Haskell. One particu... 详细信息
来源: 评论
Type-and-Scope Safe Programs and Their Proofs  2017
Type-and-Scope Safe Programs and Their Proofs
收藏 引用
6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP)
作者: Allais, Guillaume Chapman, James McBride, Conor McKinna, James Radboud Univ Nijmegen Nijmegen Netherlands Univ Strathclyde Glasgow Lanark Scotland Univ Edinburgh Edinburgh Midlothian Scotland
We abstract the common type-and-scope safe structure from computations on lambda-terms that deliver, e.g., renaming, substitution, evaluation, CPS-transformation, and printing with a name supply. By exposing this stru... 详细信息
来源: 评论
Scrap more boilerplate:: Reflection, zips, and generalised casts
Scrap more boilerplate:: Reflection, zips, and generalised c...
收藏 引用
9th International Conference on Functional programming
作者: Lämmel, R Jones, SP Vrije Univ & CWI Amsterdam Netherlands
Writing boilerplate code is a royal pain. generic programming promises to alleviate this pain by allowing the programmer to write a generic "recipe" for boilerplate code, and use that recipe in many places. ... 详细信息
来源: 评论
Optimization of Joint Detector for Ultrasound Images Using Mixtures of Image Feature Descriptors  7
Optimization of Joint Detector for Ultrasound Images Using M...
收藏 引用
7th Asian Conference on Intelligent Information and Database Systems (ACIIDS)
作者: Wereszczynski, Kamil Segen, Jakub Kulbacki, Marek Wojciechowski, Konrad Mielnik, Pawel Fojcik, Marcin Polish Japanese Acad Informat Technol Koszykowa 86 PL-02008 Warsaw Poland Silesian Tech Univ Inst Informat PL-44100 Gliwice Poland Forde Sentralsjukehus Revmatol Avdeling N-6812 Forde Norway Sogn Fjordane Univ Coll N-6812 Forde Norway
Joint detector is an essential part of an approach towards automated assessment of synovitis activity, which is a subject of the current research work. A recent formulation of the joint detector, that integrates image... 详细信息
来源: 评论
Fantastic Morphisms and Where to Find Them A Guide to Recursion Schemes  14th
Fantastic Morphisms and Where to Find Them A Guide to Recurs...
收藏 引用
14th International Conference on Mathematics of Program Construction (MPC)
作者: Yang, Zhixuan Wu, Nicolas Imperial Coll London London England
Structured recursion schemes have been widely used in constructing, optimizing, and reasoning about programs over inductive and coinductive datatypes. Their plain forms, catamorphisms and anamorphisms, are restricted ... 详细信息
来源: 评论
generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances  12
Generic and Flexible Defaults for Verified, Law-Abiding Type...
收藏 引用
12th ACM SIGPLAN International Symposium on Haskell (Haskell)
作者: Scott, Ryan G. Newton, Ryan R. Indiana Univ Bloomington IN 47405 USA
Dependently typed languages allow programmers to state and prove type class laws by simply encoding the laws as class methods. But writing implementations of these methods frequently give way to large amounts of routi... 详细信息
来源: 评论
Reusable, generic Program Analyses and Transformations  09
Reusable, Generic Program Analyses and Transformations
收藏 引用
8th International Conference on Generative programming and Component Engineering
作者: Willcock, Jeremiah Lumsdaine, Andrew Quinlan, Daniel Indiana Univ Bloomington IN 47405 USA Lawrence Livermore Natl Lab Livermore CA USA
The optimizations in modern compilers are constructed for a predetermined set of primitive types. As a result, programmers are unable to exploit optimizations for user-defined types where these optimizations would be ... 详细信息
来源: 评论
A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Tensor Expressions  2019
A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Te...
收藏 引用
18th ACM SIGPLAN International Conference on Generative programming - Concepts and Experiences (GPCE)
作者: Stojanov, Alen Rompf, Tiark Puschel, Markus Swiss Fed Inst Technol Dept Comp Sci Zurich Switzerland Purdue Univ Dept Comp Sci W Lafayette IN 47907 USA
We propose a novel approach for compiling MATLAB and similar languages that are characterized by tensors with dynamic shapes and types. We stage an evaluator for a subset of MATLAB using the Lightweight Modular Stagin... 详细信息
来源: 评论
A Hybrid Development Platform for Evolutionary Multi-Objective Optimization
A Hybrid Development Platform for Evolutionary Multi-Objecti...
收藏 引用
IEEE Congress on Evolutionary Computation (CEC)
作者: Shen, Ruimin Zheng, Jinhua Li, Miqing Xiangtan Univ Sch Math & Computat Sci Xiangtan Hunan Peoples R China Xiangtan Univ Inst Informat Engn Key Lab Intelligent Comp & Informat Proc Minist Educ Xiangtan Hunan Peoples R China Brunel Univ Dept Informat Syst & Comp Uxbridge Middx England
This paper introduces an optimization template library (OTL), a cross-platform C++ template library for multi-objective optimization. OTL has an object-oriented architecture, which allows that different modules can be... 详细信息
来源: 评论
Lightweight, Flexible Object-Oriented generics  15
Lightweight, Flexible Object-Oriented Generics
收藏 引用
36th ACM SIGPLAN Conference on programming Language Design and Implementation
作者: Zhang, Yizhou Loring, Matthew C. Salvaneschi, Guido Liskov, Barbara Myers, Andrew C. Cornell Univ Ithaca NY 14853 USA Tech Univ Darmstadt Darmstadt Germany MIT Cambridge MA 02139 USA
The support for generic programming in modern object-oriented programming languages is awkward and lacks desirable expressive power. We introduce an expressive genericity mechanism that adds expressive power and stren... 详细信息
来源: 评论