메뉴 건너뛰기




Volumn 1210, Issue , 1997, Pages 30-45

Minimum information code in a pure functional language with data types

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; COMPUTATIONAL LINGUISTICS; PATHOLOGY;

EID: 0347886431     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62688-3_27     Document Type: Conference Paper
Times cited : (3)

References (14)
  • 5
    • 84947439044 scopus 로고    scopus 로고
    • Using Subtyping in Program Optimization
    • Eds M. Dezani and G. Plotkin, Edinburgh, April 1995, LNCS 902, Springer-Verlag
    • S. Berardi, L. Boerio, Using Subtyping in Program Optimization, Proceedings of TLCA '95, Eds M. Dezani and G. Plotkin, Edinburgh, April 1995, LNCS 902, pp. 63-77, Springer-Verlag.
    • Proceedings of TLCA '95 , pp. 63-77
    • Berardi, S.1    Boerio, L.2
  • 7
    • 84944187299 scopus 로고    scopus 로고
    • Extending Pruning Techniques to Polymorphic Second Order λ- Calculus
    • Edinburgh, April 1994, LNCS 788, D. Sannella (ed.), Springer-Verlag
    • L. Boerio, Extending Pruning Techniques to Polymorphic Second Order λ- Calculus, Proceedings of ESOP '94, Edinburgh, April 1994, LNCS 788, D. Sannella (ed.), Springer-Verlag, pp. 120-134.
    • Proceedings of ESOP '94 , pp. 120-134
    • Boerio, L.1
  • 8
    • 0345994964 scopus 로고
    • Ph.D. Thesis in Computer Science, University of Turin, Turin (available via ftp at ftp.di.unito.it)
    • L. Boerio, Optimizing Programs Extracted from Proofs, Ph.D. Thesis in Computer Science, University of Turin, February 1995, Turin (available via ftp at ftp.di.unito.it).
    • (1995) Optimizing Programs Extracted from Proofs
    • Boerio, L.1
  • 12
    • 84958965043 scopus 로고
    • J. van Leeuwen ed., Handbook of Theoretical Computer Science, Elsevier Science Publ
    • J. C. Mitchell, Type Systems for Programming Languages, In: J. van Leeuwen ed., Handbook of Theoretical Computer Science, Elsevier Science Publ., 1990, 366-458.
    • (1990) Type Systems for Programming Languages , pp. 366-458
    • Mitchell, J.C.1
  • 13
    • 0024861624 scopus 로고
    • Extracting F's Programs from Proofs in the Calculus of Constructions
    • Austin, Texas, Association for Computing Machinery publisher, 11-13 January
    • C. Paulin-Mohring, Extracting F's Programs from Proofs in the Calculus of Constructions, In: Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, Association for Computing Machinery publisher, 11-13 January 1989, pp. 89-104.
    • (1989) Sixteenth Annual ACM Symposium on Principles of Programming Languages , pp. 89-104
    • Paulin-Mohring, C.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.