A Set Theory for Functional Programming Languages
函数式编程语言的集合论
基本信息
- 批准号:9203302
- 负责人:
- 金额:$ 15.92万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing grant
- 财政年份:1992
- 资助国家:美国
- 起止时间:1992-09-15 至 1996-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
An approach to integrating set theory with functional programming languages is to be investigated. This includes both the design of a class of logics and their application in a system supporting the development of mechanically verified software. It is hoped that ideas from set theory can make constructive type theories more practical, flexible, expressive and widely applicable.
集合论与泛函的一种集成方法 编程语言需要研究。 这包括 一类逻辑的设计及其在 一个系统支持开发机械验证 软件 人们希望集合论的思想可以使 建设型理论更加实用、灵活, 表现力强,适用范围广。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Robert Constable其他文献
Implementing Euclid’s straightedge and compass constructions in type theory
- DOI:
10.1007/s10472-018-9603-0 - 发表时间:
2018-09-26 - 期刊:
- 影响因子:1.000
- 作者:
Ariel Kellison;Mark Bickford;Robert Constable - 通讯作者:
Robert Constable
Robert Constable的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Robert Constable', 18)}}的其他基金
EAGER: Constructive Univalent Foundations
EAGER:建设性的单价基础
- 批准号:
1650069 - 财政年份:2016
- 资助金额:
$ 15.92万 - 项目类别:
Standard Grant
CSR-EHS: Developing a Theory of Events to Improve Distributed Systems
CSR-EHS:开发事件理论以改进分布式系统
- 批准号:
0614790 - 财政年份:2006
- 资助金额:
$ 15.92万 - 项目类别:
Continuing grant
Enabling Large-Scale Coherency Among Mathematical Texts in the NSDL
实现 NSDL 中数学文本的大规模连贯性
- 批准号:
0333526 - 财政年份:2003
- 资助金额:
$ 15.92万 - 项目类别:
Standard Grant
Innovative Programming Technology for Embedded Systems
嵌入式系统的创新编程技术
- 批准号:
0208536 - 财政年份:2002
- 资助金额:
$ 15.92万 - 项目类别:
Continuing grant
U.S.-Germany Cooperative Research: Enhancing Proof Assistant Systems
美德合作研究:增强证明辅助系统
- 批准号:
0003789 - 财政年份:2001
- 资助金额:
$ 15.92万 - 项目类别:
Standard Grant
Educational Innovation: Creating and Evaluating Formal Courseware for Mathematics and Computing
教育创新:创建和评估数学和计算的正式课件
- 批准号:
9812630 - 财政年份:1999
- 资助金额:
$ 15.92万 - 项目类别:
Standard Grant
Creating and Evaluating Interactive Formal Courseware for Mathematics and Computing
创建和评估数学和计算交互式正式课件
- 批准号:
9555162 - 财政年份:1996
- 资助金额:
$ 15.92万 - 项目类别:
Standard Grant
Exploring New Constructs in Computational Type Theory
探索计算类型理论的新结构
- 批准号:
9423687 - 财政年份:1995
- 资助金额:
$ 15.92万 - 项目类别:
Continuing grant
Computation in Refinement Logics for Type Theory
类型论细化逻辑中的计算
- 批准号:
9108062 - 财政年份:1991
- 资助金额:
$ 15.92万 - 项目类别:
Continuing grant
Improving the Nuprl Proof Development System
改进Nuprl证明开发系统
- 批准号:
9002822 - 财政年份:1990
- 资助金额:
$ 15.92万 - 项目类别:
Standard Grant
相似国自然基金
Research on Quantum Field Theory without a Lagrangian Description
- 批准号:24ZR1403900
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
- 批准号:12247163
- 批准年份:2022
- 资助金额:18.00 万元
- 项目类别:专项项目
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
- 批准号:
- 批准年份:2022
- 资助金额:55 万元
- 项目类别:
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
- 批准号:12126512
- 批准年份:2021
- 资助金额:12.0 万元
- 项目类别:数学天元基金项目
基于Restriction-Centered Theory的自然语言模糊语义理论研究及应用
- 批准号:61671064
- 批准年份:2016
- 资助金额:65.0 万元
- 项目类别:面上项目
相似海外基金
Non-Born-Oppenheimer Effects in the Framework of Multicomponent Time-Dependent Density Functional Theory
多分量时变密度泛函理论框架中的非玻恩奥本海默效应
- 批准号:
2415034 - 财政年份:2024
- 资助金额:
$ 15.92万 - 项目类别:
Continuing Grant
Goldilocks convergence tools and best practices for numerical approximations in Density Functional Theory calculations
密度泛函理论计算中数值近似的金发姑娘收敛工具和最佳实践
- 批准号:
EP/Z530657/1 - 财政年份:2024
- 资助金额:
$ 15.92万 - 项目类别:
Research Grant
Density Functional Theory of Electronic Structure
电子结构密度泛函理论
- 批准号:
2344734 - 财政年份:2024
- 资助金额:
$ 15.92万 - 项目类别:
Standard Grant
Development of the pair-density functional theory for superconductors
超导体对密度泛函理论的发展
- 批准号:
23K03250 - 财政年份:2023
- 资助金额:
$ 15.92万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Emergence of theory of mind in young children, explored with functional MRI and Virtual Reality (VR)
通过功能性 MRI 和虚拟现实 (VR) 探索幼儿心智理论的出现
- 批准号:
2886793 - 财政年份:2023
- 资助金额:
$ 15.92万 - 项目类别:
Studentship
Elucidation of a Novel Functional Mechanism of Intravenous Anesthetics Based on the Membrane Lipid Theory and Its Application to Clinical Practice
基于膜脂理论的静脉麻醉药新作用机制的阐明及其在临床实践中的应用
- 批准号:
23K06361 - 财政年份:2023
- 资助金额:
$ 15.92万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
CAREER: Enabling the Accurate Simulation of Multi-Dimensional Core-Level Spectroscopies in Molecular Complexes using Time-Dependent Density Functional Theory
职业:使用瞬态密度泛函理论实现分子复合物中多维核心级光谱的精确模拟
- 批准号:
2337902 - 财政年份:2023
- 资助金额:
$ 15.92万 - 项目类别:
Standard Grant
Exploring Properties of the Inner Crust of Neutron Stars Through Band Theory Calculations Based on Superfluid Density Functional Theory
基于超流体密度泛函理论的能带理论计算探索中子星内壳的性质
- 批准号:
23K03410 - 财政年份:2023
- 资助金额:
$ 15.92万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Machine-Aided General Framework for Fluctuating Dynamic Density Functional Theory (MAGFFDDFT)
波动动态密度泛函理论的机器辅助通用框架 (MAGFFDDFT)
- 批准号:
EP/X038645/1 - 财政年份:2023
- 资助金额:
$ 15.92万 - 项目类别:
Research Grant
Density Functional Theory of Molecular Fragments: Strong Electron Correlation Beyond Density Functional Approximations
分子片段的密度泛函理论:超越密度泛函近似的强电子相关性
- 批准号:
2306011 - 财政年份:2023
- 资助金额:
$ 15.92万 - 项目类别:
Standard Grant