Search Results - FELTEY, DANIEL

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    How to evaluate the performance of gradual type systems

    How to evaluate the performance of gradual type systems by GREENMAN, BEN, TAKIKAWA, ASUMU, NEW, MAX S., FELTEY, DANIEL, FINDLER, ROBERT BRUCE, VITEK, JAN, FELLEISEN, MATTHIAS

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    A Coq library for internal verification of running-times

    A Coq library for internal verification of running-times by McCarthy, Jay, Fetscher, Burke, New, Max S., Feltey, Daniel, Findler, Robert Bruce

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Collapsible contracts: fixing a pathology of gradual typing

    Collapsible contracts: fixing a pathology of gradual typing by Feltey, Daniel, Greenman, Ben, Scholliers, Christophe, Findler, Robert Bruce, St-Amour, Vincent

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Herbarium Racketensis: a stroll through the woods (functional pearl)

    Herbarium Racketensis: a stroll through the woods (functional pearl) by St-Amour, Vincent, Feltey, Daniel, Florence, Spencer P., You, Shu-Hung, Findler, Robert Bruce

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:

Search Tools: