ML-Like Inference for Classifiers-Reference-Cited by-同舟云学术

ML-Like Inference for Classifiers

Published:2004 Issue: Volume: Page:79-93
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Calcagno Cristiano,Moggi Eugenio,Taha Walid

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24725-8_7

Reference31 articles.

1. Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems 13(2), 237–268 (1991)

2. Bawden, A.: Quasiquotation in LISP. In: Danvy, O. (ed.) Proceedings of the Workshop on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, University of Aarhus, Dept. of Computer Science (1999) (invited talk)

3. Calcagno, C., Moggi, E., Sheard, T.: Closed types for a safe imperative MetaML. Journal of Functional Programming (2003) (to appear)

4. Lecture Notes in Computer Science;C. Calcagno,2003

5. Damas, L., Milner, R.: Principal type schemes for functional languages. In: 9th ACM Symposium on Principles of Programming Languages, August 1982. ACM, New York (1982)

Cited by 22 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Type-safe generation of modules in applicative and generative styles;Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2021-10-17

2. Staging with control: type-safe multi-stage programming with control operators;ACM SIGPLAN Notices;2017-12

3. Staging with control: type-safe multi-stage programming with control operators;Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2017-10-23

4. Static stages for heterogeneous programming;Proceedings of the ACM on Programming Languages;2017-10-12

5. Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing;Electronic Proceedings in Theoretical Computer Science;2017-02-07