Chiyan Chen

ACM-SIGACT Symposium on Principles of Programming Languages · 2003

A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 3 researchers here, as inferred from the citation graph.

Whom Chiyan Chen trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Walid Taha

Who trusts Chiyan Chen overall

  1. G. Mainland

Papers from Chiyan Chen's perspective

Ordered by how strongly the researchers Chiyan Chen trusts endorse each paper. Same corpus, a different order for every researcher.

  1. MetaML and multi-stage programming with explicit annotations (Theoretical Computer Science)
  2. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
  3. Mechanized Metatheory for the Masses: The PoplMark Challenge (International Conference on Theorem Proving in Higher Order Logics)
  4. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)
  5. Gradual Typing for Functional Languages
  6. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)
  7. Fjording the stream: an architecture for queries over streaming sensor data (Proceedings / International Conference on Data Engineering)
  8. Continuously adaptive continuous queries over streams (ACM SIGMOD Conference)
  9. On computing correlated aggregates over continual data streams (ACM SIGMOD Conference)
  10. Automatically Extracting Structure from Free Text Addresses.

Their papers