课题基金 / 基金详情

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的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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
国内基金
海外基金
融合超声、双参数MRI及临床相关参数构建PSA 4～20ng/mL区段前列腺癌可视化预测模型的研究
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    颜丹
  • 依托单位：
“DFT+ML”协同探索原子精确金纳米团簇的类酶催化性质
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    孙芳
  • 依托单位：
    重庆师范大学
机器学习力场EEM-ML的构建及离子液体基电解液离子状态和离子传输的研究
  • 批准号：
  • 项目类别：
    面上项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    吴阳
  • 依托单位：
    辽宁大学
表面增强拉曼光谱技术探究tRNA异戊烯基转移酶提高ML210 药效 的调控机制
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    孙丹
  • 依托单位：