课题基金 / 基金详情

Standard ML of New Jersey Software Capitalization

Standard ML of New Jersey Software Capitalization
新泽西州软件资本化的标准 ML
批准号：
8914570
负责人：
Andrew Appel
金额：
$11.95万
依托单位：
Princeton University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1990
资助国家：
美国
项目状态：
已结题
起止时间：
1990-04-15 至 1992-09-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8914570&HistoricalAwards=false
关键词：
StandardMLNewJerseySoftware

项目摘要

项目成果

Andrew Appel的其他基金

相似基金

相关文献

中文摘要
翻译
在过去的几年里，由于一组有趣的功能，ML语言在编程语言理论界受到了极大的关注。定义了一种适合于实现的“标准ML”语言。支持这种语言的一种实现被称为“新泽西的标准ML”。本项目的目的是进一步开发编译器，并协助其维护和分发。
英文摘要
The language ML has received much attention during the past few years among programming language theorists because of an interesting set of capabilities. A "Standard ML" language, suitable for implementation, has been defined. An implementation supporting this language is known as "Standard ML of New Jersey." The purpose of this project is to further develop the compiler and to assist in its maintenance and distribution.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: FMitF: Track I: Formally Verified Numerical Methods
  • 批准号：
    2219757
  • 项目类别：
    Standard Grant
  • 资助金额：
    $55.95万
  • 财政年份：
    2022
  • 负责人：
    Andrew Appel
  • 依托单位：
    Princeton University
SHF: Small: VeriFFI -- Formally Verified Functional+C programs
  • 批准号：
    2005545
  • 项目类别：
    Standard Grant
  • 资助金额：
    $50.0万
  • 财政年份：
    2020
  • 负责人：
    Andrew Appel
  • 依托单位：
    Princeton University
Collaborative Research: Expeditions in Computing: The Science of Deep Specification
  • 批准号：
    1521602
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $345.34万
  • 财政年份：
    2015
  • 负责人：
    Andrew Appel
  • 依托单位：
    Princeton University
SHF: Medium: Collaborative Research: Principled Optimizing Compilation of Dependently Typed Languages
  • 批准号：
    1407794
  • 项目类别：
    Standard Grant
  • 资助金额：
    $60.0万
  • 财政年份：
    2014
  • 负责人：
    Andrew Appel
  • 依托单位：
    Princeton University
国内基金
海外基金
基于PINN物理约束与ML数据优化协同驱动的大气颗粒物干沉降模拟研究
  • 批准号：
    42501595
  • 项目类别：
    青年科学基金项目（C类）
  • 资助金额：
    30.00万元
  • 批准年份：
    2025
  • 负责人：
    舒谦
  • 依托单位：
    南京师范大学
补气中药调控哮喘缓解期ml-ILC2多潜能分化逆转激素抵抗的机制研究
  • 批准号：
    82574661
  • 项目类别：
    面上项目
  • 资助金额：
    49.00万元
  • 批准年份：
    2025
  • 负责人：
    洪敏
  • 依托单位：
    南京中医药大学
融合超声、双参数MRI及临床相关参数构建PSA 4～20ng/mL区段前列腺癌可视化预测模型的研究
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    颜丹
  • 依托单位：
“DFT+ML”协同探索原子精确金纳米团簇的类酶催化性质
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    孙芳
  • 依托单位：
    重庆师范大学