课题基金 / 基金详情

A Set Theory for Functional Programming Languages

A Set Theory for Functional Programming Languages
函数式编程语言的集合论
批准号：
9203302
负责人：
Robert Constable
金额：
$15.92万
依托单位：
Cornell University
依托单位国家：
美国
项目类别：
Continuing grant
财政年份：
1992
资助国家：
美国
项目状态：
已结题
起止时间：
1992-09-15 至 1996-08-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9203302&HistoricalAwards=false
关键词：
SetTheoryFunctionalProgrammingLanguages

项目摘要

项目成果

Robert Constable的其他基金

相似基金

相关文献

中文摘要
翻译
集合论与泛函的一种集成方法 编程语言需要研究。 这包括 一类逻辑的设计及其在 一个系统支持开发机械验证 软件 人们希望集合论的思想可以使 建设型理论更加实用、灵活， 表现力强，适用范围广。
英文摘要
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)
会议论文
EAGER: Constructive Univalent Foundations
  • 批准号：
    1650069
  • 项目类别：
    Standard Grant
  • 资助金额：
    $29.5万
  • 财政年份：
    2016
  • 负责人：
    Robert Constable
  • 依托单位：
    Cornell University
CSR-EHS: Developing a Theory of Events to Improve Distributed Systems
  • 批准号：
    0614790
  • 项目类别：
    Continuing grant
  • 资助金额：
    $0.0万
  • 财政年份：
    2006
  • 负责人：
    Robert Constable
  • 依托单位：
    Cornell University
Enabling Large-Scale Coherency Among Mathematical Texts in the NSDL
  • 批准号：
    0333526
  • 项目类别：
    Standard Grant
  • 资助金额：
    $46.0万
  • 财政年份：
    2003
  • 负责人：
    Robert Constable
  • 依托单位：
    Cornell University
Innovative Programming Technology for Embedded Systems
  • 批准号：
    0208536
  • 项目类别：
    Continuing grant
  • 资助金额：
    $30.0万
  • 财政年份：
    2002
  • 负责人：
    Robert Constable
  • 依托单位：
    Cornell University
国内基金
海外基金
Research on Quantum Field Theory without a Lagrangian Description
  • 批准号：
    24ZR1403900
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    SATOSHI NAWATA
  • 依托单位：
    复旦大学
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
  • 批准号：
    12247163
  • 项目类别：
    专项项目
  • 资助金额：
    18.00万元
  • 批准年份：
    2022
  • 负责人：
    黄栋
  • 依托单位：
    苏州大学
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
  • 批准号：
    --
  • 项目类别：
    --
  • 资助金额：
    55万元
  • 批准年份：
    2022
  • 负责人：
    Thomas Pahtz
  • 依托单位：
    浙江大学
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
  • 批准号：
    12126512
  • 项目类别：
    数学天元基金项目
  • 资助金额：
    12.0万元
  • 批准年份：
    2021
  • 负责人：
    李常品
  • 依托单位：
    上海大学