Implicit self-adjusting computation for purely functional programs von CHEN, YAN, DUNFIELD, JOSHUA, HAMMER, MATTHEW A., ACAR, UMUT A.

Volltext

Live functional programming with typed holes von Omar, Cyrus, Voysey, Ian, Chugh, Ravi, Hammer, Matthew A.

Volltext

Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations von Rastogi, Aseem, Hammer, Matthew A., Hicks, Michael

Volltext

The Random Access Zipper: Simple, Persistent Sequences von Headley, Kyle, Hammer, Matthew A.

Volltext

Self-adjusting stack machines von Hammer, Matthew A., Neis, Georg, Chen, Yan, Acar, Umut A.

Volltext

Implicit self-adjusting computation for purely functional programs von Chen, Yan, Dunfield, Jana, Hammer, Matthew A., Acar, Umut A.

Volltext

Languages of Play: Towards semantic foundations for game interfaces von Martens, Chris, Hammer, Matthew A

Volltext bestellen

The Random Access Zipper: Simple, Purely-Functional Sequences von Headley, Kyle, Hammer, Matthew A

Volltext bestellen

Hazelnut: a bidirectionally typed structure editor calculus von Omar, Cyrus, Voysey, Ian, Hilton, Michael, Aldrich, Jonathan, Hammer, Matthew A.

Volltext

Adapton: composable, demand-driven incremental computation von Hammer, Matthew A., Phang, Khoo Yit, Hicks, Michael, Foster, Jeffrey S.

Volltext

Incremental Computation with Names von Hammer, Matthew A, Dunfield, Jana, Headley, Kyle, Labich, Nicholas, Foster, Jeffrey S, Hicks, Michael, David Van Horn

Volltext

Live Functional Programming with Typed Holes von Omar, Cyrus, Voysey, Ian, Chugh, Ravi, Hammer, Matthew A

Volltext bestellen

A vision for online verification-validation von Hammer, Matthew A., Chang, Bor-Yuh Evan, Van Horn, David

Volltext

Hazelnut: A Bidirectionally Typed Structure Editor Calculus von Omar, Cyrus, Voysey, Ian, Hilton, Michael, Aldrich, Jonathan, Hammer, Matthew A

Volltext

miniAdapton: A Minimal Implementation of Incremental Computation in Scheme von Fisher, Dakota, Hammer, Matthew A, Byrd, William, Might, Matthew

Volltext bestellen

Fungi: Typed incremental computation with names von Hammer, Matthew A, Dunfield, Jana, Headley, Kyle, Narasimhamurthy, Monal, Economou, Dimitrios J

Volltext bestellen

Languages of Play: Towards semantic foundations for game interfaces von Martens, Chris, Hammer, Matthew A

Volltext

Refinement types for precisely named cache locations von Hammer, Matthew A, Dunfield, Jana, Economou, Dimitrios J, Narasimhamurthy, Monal

Volltext bestellen

A Vision for Online Verification-Validation von Hammer, Matthew A, Chang, Bor-Yuh Evan, Van Horn, David

Volltext bestellen

The Random Access Zipper: Simple, Purely-Functional Sequences von Headley, Kyle, Hammer, Matthew A

Volltext