课题基金 / 基金详情

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
  • 负责人：
    李常品
  • 依托单位：
    上海大学