Showing 1 - 6 results of 6 for search 'Schmidt, David', query time: 0.02s Refine Results
  1. 1
    The Structure of Typed Promming Languages
    by SCHMIDT, DAVID A.
    Published 1994
    Book
  2. 2
    Programming Languages and Systems 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
    Published 2004
    Other Authors: “…Schmidt, David…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Published 1993
    Other Authors: “…Schmidt, David…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 4
    Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
    Published 2011
    Other Authors: “…Schmidt, David…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /
    Published 2012
    Other Authors: “…Schmidt, David…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    The Essence of Computation Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones /
    Published 2002
    Other Authors: “…Schmidt, David…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search