ACM SIGPLAN Notices, 1523-2867

Journal

Publications

  1. 2015
  2. Published

    Functors are Type Refinement Systems

    Noam Zeilberger, Jan 2015, In : ACM SIGPLAN Notices. 50, 1, p. 3-16 14 p.

    Research output: Contribution to journalArticle

  3. 2014
  4. Published

    Freeze after writing quasi-deterministic parallel programming with LVars

    Neelakantan Krishnaswami, 13 Jan 2014, In : ACM SIGPLAN Notices. 49, 1, p. 257-270 14 p.

    Research output: Contribution to journalArticle

  5. 2011
  6. Published

    Geometry of Synthesis IV: Compiling Affine Recursion into Static Hardware

    Dan Ghica & Satnam Singh, 1 Sep 2011, In : ACM SIGPLAN Notices. 46, 9, p. 221-233 13 p.

    Research output: Contribution to journalArticle

  7. Published

    Geometry of Synthesis III: Resource Management Through Type Inference

    Dan Ghica, 1 Jan 2011, In : ACM SIGPLAN Notices. 46, 1, p. 345-356 12 p.

    Research output: Contribution to journalArticle