Treffer 1 - 20 von 48 für Suche 'Danner, Norman', Suchdauer: 0,71s Treffer weiter einschränken
  1. 1
    Denotational semantics as a foundation for cost recurrence extraction for functional languages

    Denotational semantics as a foundation for cost recurrence extraction for functional languages von DANNER, NORMAN, LICATA, DANIEL R.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Recurrence extraction for functional programs through call-by-push-value

    Recurrence extraction for functional programs through call-by-push-value von Kavvos, G. A., Morehouse, Edward, Licata, Daniel R., Danner, Norman


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Adventures in time and space

    Adventures in time and space von Danner, Norman, Royer, James S.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Denotational recurrence extraction for amortized analysis

    Denotational recurrence extraction for amortized analysis von Cutler, Joseph W., Licata, Daniel R., Danner, Norman


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Recurrence extraction and denotational semantics with recursive definitions

    Recurrence extraction and denotational semantics with recursive definitions von Danner, Norman

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Circuit principles and weak pigeonhole variants

    Circuit principles and weak pigeonhole variants von Pollett, Chris, Danner, Norman

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Touching the fingerprinting API surface

    Touching the fingerprinting API surface von Danner, Norman

    Volltext bestellen
    Dataset

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Recurrence extraction and denotational semantics with recursive definitions

    Recurrence extraction and denotational semantics with recursive definitions von Danner, Norman

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Denotational semantics as a foundation for cost recurrence extraction for functional languages

    Denotational semantics as a foundation for cost recurrence extraction for functional languages von Danner, Norman, Licata, Daniel R

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    General Ramified Recurrence and Polynomial-time Completeness

    General Ramified Recurrence and Polynomial-time Completeness von Danner, Norman, Royer, James S

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Ramified recurrence with dependent types

    Ramified recurrence with dependent types von DANNER, Norman


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    The weak pigeonhole principle for function classes in S 1 2

    The weak pigeonhole principle for function classes in S 1 2 von Danner, Norman, Pollett, Chris

    Veröffentlicht in Mathematical logic quarterly

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    The weak pigeonhole principle for function classes in S 12

    The weak pigeonhole principle for function classes in S 12 von Danner, Norman, Pollett, Chris

    Veröffentlicht in Mathematical logic quarterly

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Two Algorithms in Search of a Type-System

    Two Algorithms in Search of a Type-System von Danner, Norman, Royer, James S.

    Veröffentlicht in Theory of computing systems

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Detecting Denial of Service Attacks in Tor

    Detecting Denial of Service Attacks in Tor von Danner, Norman, Krizanc, Danny, Liberatore, Marc


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Harold Simmons. Derivation and computation. Taking the Curry-Howard correspondence seriously . Cambridge tracts in theoretical computer science, vol. 51. Cambridge University Press, Cambridge, New York, etc., 2000, xxv + 384 pp

    Harold Simmons. Derivation and computation. Taking the Curry-Howard correspondence seriously . Cambridge tracts in theoretical computer science, vol. 51. Cambridge University Press... von Danner, Norman

    Veröffentlicht in The bulletin of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    General Ramified Recurrence and Polynomial-time Completeness

    General Ramified Recurrence and Polynomial-time Completeness von Danner, Norman, Royer, James S

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Denotational recurrence extraction for amortized analysis

    Denotational recurrence extraction for amortized analysis von Cutler, Joseph W, Licata, Daniel R, Danner, Norman

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Review: Harold Simmons, Derivation and Computation. Taking the Curry-Howard Correspondence Seriously

    Review: Harold Simmons, Derivation and Computation. Taking the Curry-Howard Correspondence Seriously von Danner, Norman

    Veröffentlicht in The bulletin of symbolic logic

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Effectiveness and detection of denial-of-service attacks in tor

    Effectiveness and detection of denial-of-service attacks in tor von Danner, Norman, Defabbia-Kane, Sam, Krizanc, Danny, Liberatore, Marc


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: