'COQ COQ'

被引：0
|
作者：
GULLAR, F
机构：
来源：
QUINZAINE LITTERAIRE | 1987年 / 484期
关键词：
D O I：
暂无
中图分类号：
I [文学];
学科分类号：
05 ;
摘要：
引用
收藏
页码：16 / 16
页数：1
相关论文
共 50 条
  • [21] Polytypic Programming in Coq
    Verbruggen, Wendy
    de Vries, Edsko
    Hughes, Arthur
    WGP'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN WORKSHOP ON GENERIC PROGRAMMING, 2008, : 49 - 60
  • [22] Challenges in Compiling Coq
    Morrisett, Greg
    PROCEEDINGS OF THE 18TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2016), 2016, : 9 - 9
  • [23] Reflecting BDDs in Coq
    Verma, KN
    Goubault-Larrecq, J
    Prasad, S
    Arun-Kumar, S
    ADVANCES IN COMPUTING SCIENCE-ASIAN 2000, PROCEEDINGS, 2000, 1961 : 162 - 181
  • [24] Le Coq d'Or
    Dorris, George
    DANCING TIMES, 2014, 104 (1245): : 11 - 11
  • [25] Surreal numbers in Coq
    Mamane, LE
    TYPES FOR PROOFS AND PROGRAMS, 2006, 3839 : 170 - 185
  • [26] Recursion Schemes in Coq
    Murata, Kosuke
    Emoto, Kento
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2019, 2019, 11893 : 202 - 221
  • [27] Have a coq and a smile
    Mackenzie, D
    SCIENCE, 2005, 307 (5714) : 1402 - 1402
  • [28] Towards rewriting in Coq
    Chrzaszcz, Jacek
    Walukiewicz-Chrzaszcz, Daria
    REWRITING, COMPUTATION AND PROOF: ESSAYS DEDICATED TO JEAN-PIERRE JOUANNAUD ON THE OCCASION OF HIS 60TH BIRTHDAY, 2007, 4600 : 113 - +
  • [29] CoQ10 treat one child with COQ nephropathy and literature review
    Cao, Q.
    Li, G.
    Xu, H.
    Shen, Q.
    Sun, L.
    Fang, X.
    Liu, H.
    Wu, B.
    PEDIATRIC NEPHROLOGY, 2016, 31 (10) : 1854 - 1854
  • [30] Programming with effects in Coq
    Morrisett, Greg
    MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2008, 5133 : 28 - 28
12345