首页 文库资料 文章资讯  上传文档  发布文章  登录账户

分类

全部后端开发(21)其它语言(21)

语言

全部英语(21)

格式

全部PDF文档 PDF(13)其他文档 其他(8)
 
本次搜索耗时 0.087 秒，为您找到相关结果约 21 个.

  • epub文档 Agda User Manual v2.6.2

    mcbride/PlentyO-CR.pdf] A List of Successes That Can Change the World. Springer, Cham, 2016. [3] Atkey, Robert. “The Syntax and Semantics of Quantitative Type Theory” [https://bentnib.org/quantitative-type-theory library Dominique Devriese: instance arguments Péter Diviánszky: web frontent, variable declarations Robert Estelle Olle Fredriksson: Epic compiler backend Paolo Giarrusso Adam Gundry: pattern synonyms Daniel
    0 码力 | 348 页 | 414.11 KB | 1 年前
    3

  • epub文档 Agda User Manual v2.6.2.2

    mcbride/PlentyO-CR.pdf] A List of Successes That Can Change the World. Springer, Cham, 2016. [3] Atkey, Robert. “The Syntax and Semantics of Quantitative Type Theory” [https://bentnib.org/quantitative-type-theory --erased-cubical Dominique Devriese: instance arguments Péter Diviánszky: web frontent, variable declarations Robert Estelle: refactoring of backends, main driver Olle Fredriksson: Epic compiler backend Paolo Giarrusso
    0 码力 | 354 页 | 433.60 KB | 1 年前
    3

  • epub文档 Agda User Manual v2.6.2.1

    mcbride/PlentyO-CR.pdf] A List of Successes That Can Change the World. Springer, Cham, 2016. [3] Atkey, Robert. “The Syntax and Semantics of Quantitative Type Theory” [https://bentnib.org/quantitative-type-theory --erased-cubical Dominique Devriese: instance arguments Péter Diviánszky: web frontent, variable declarations Robert Estelle: refactoring of backends, main driver Olle Fredriksson: Epic compiler backend Paolo Giarrusso
    0 码力 | 350 页 | 416.80 KB | 1 年前
    3

  • pdf文档 Haskell 2010 Language Report

    condensation would be false economy here, even more than it is ordinarily.” Haskell B. Curry and Robert Feys in the Preface to Combinatory Logic [3], May 31, 1956 In September of 1987 a meeting was held Herington, Bob Hiromoto, Nic Holt, Ian Holyer, Randy Hudson, Alexander Jacobson, Patrik Jansson, Robert Jeschofnik, Orjan Johansen, Simon B. Jones, Stef Joosten, Mike Joy, Wolfram Kahl, Stefan Kahrs, Antti-Juhani
    0 码力 | 329 页 | 1.43 MB | 1 年前
    3

  • pdf文档 Agda User Manual v2.6.2

    Plenty o’Nuttin’.” A List of Successes That Can Change the World. Springer, Cham, 2016. [3] Atkey, Robert. “The Syntax and Semantics of Quantitative Type Theory”. In LICS ‘18: Oxford, United Kingdom. 2018 Dominique Devriese: instance arguments • Péter Diviánszky: web frontent, variable declarations • Robert Estelle • Olle Fredriksson: Epic compiler backend • Paolo Giarrusso • Adam Gundry: pattern synonyms
    0 码力 | 255 页 | 1.13 MB | 1 年前
    3

  • pdf文档 Agda User Manual v2.6.2.2

    Plenty o’Nuttin’.” A List of Successes That Can Change the World. Springer, Cham, 2016. [3] Atkey, Robert. “The Syntax and Semantics of Quantitative Type Theory”. In LICS ‘18: Oxford, United Kingdom. 2018 Dominique Devriese: instance arguments • Péter Diviánszky: web frontent, variable declarations • Robert Estelle: refactoring of backends, main driver • Olle Fredriksson: Epic compiler backend • Paolo
    0 码力 | 257 页 | 1.16 MB | 1 年前
    3

  • pdf文档 Agda User Manual v2.6.2.1

    Plenty o’Nuttin’.” A List of Successes That Can Change the World. Springer, Cham, 2016. [3] Atkey, Robert. “The Syntax and Semantics of Quantitative Type Theory”. In LICS ‘18: Oxford, United Kingdom. 2018 Dominique Devriese: instance arguments • Péter Diviánszky: web frontent, variable declarations • Robert Estelle: refactoring of backends, main driver • Olle Fredriksson: Epic compiler backend • Paolo
    0 码力 | 255 页 | 1.14 MB | 1 年前
    3

  • epub文档 Agda User Manual v2.6.3

    mcbride/PlentyO-CR.pdf] A List of Successes That Can Change the World. Springer, Cham, 2016. [3] Atkey, Robert. “The Syntax and Semantics of Quantitative Type Theory” [https://bentnib.org/quantitative-type-theory improvements Dominique Devriese: instance arguments Péter Diviánszky: web frontent, variable declarations Robert Estelle: refactoring of backends, main driver Olle Fredriksson: Epic compiler backend Paolo Giarrusso
    0 码力 | 379 页 | 354.83 KB | 1 年前
    3

  • pdf文档 Agda User Manual v2.6.3

    Plenty o’Nuttin’.” A List of Successes That Can Change the World. Springer, Cham, 2016. [3] Atkey, Robert. “The Syntax and Semantics of Quantitative Type Theory”. In LICS ‘18: Oxford, United Kingdom. 2018 Dominique Devriese: instance arguments • Péter Diviánszky: web frontent, variable declarations • Robert Estelle: refactoring of backends, main driver • Olle Fredriksson: Epic compiler backend • Paolo
    0 码力 | 288 页 | 1.24 MB | 1 年前
    3

  • pdf文档 Agda User Manual v2.6.4.1

    Plenty o’Nuttin’.” A List of Successes That Can Change the World. Springer, Cham, 2016. [3] Atkey, Robert. “The Syntax and Semantics of Quantitative Type Theory”. In LICS ‘18: Oxford, United Kingdom. 2018 Dominique Devriese: instance arguments • Péter Diviánszky: web frontent, variable declarations • Robert Estelle: refactoring of backends, main driver • Olle Fredriksson: Epic compiler backend • Paolo
    0 码力 | 311 页 | 1.38 MB | 1 年前
    3
共 21 条
  • 1
  • 2
  • 3
前往
页
相关搜索词
AgdaUserManualv26.2Haskell20106.36.4