Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Alexis J. Comber
Daniel P. Kennedy
Roland Zumkeller
Maximilian Dürr
Dan Graur
Liangliang Shang
Chong Gun Yu
Chen Ma
Barbara Aquilani
Mike Holcombe
Home
/
Author
/
MATTHEW A. HAMMER
Author Info
Open Visualization
Name
Affiliation
Papers
MATTHEW A. HAMMER
Max Planck Institute for Software Systems, Kaiserslautern, Germany
16
Collaborators
Citations
PageRank
33
174
10.03
Referers
Referees
References
323
528
348
Search Limit
100
528
Publications (16 rows)
Collaborators (33 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Fungi: Typed incremental computation with names.
0
0.34
2018
Live Functional Programming with Typed Holes
1
0.36
2018
Hazelnut: A Bidirectionally Typed Structure Editor Calculus.
2
0.37
2017
Toward Semantic Foundations for Program Editors.
3
0.44
2017
A Vision for Online Verification-Validation.
0
0.34
2016
miniAdapton: A Minimal Implementation of Incremental Computation in Scheme.
0
0.34
2016
The Random Access Zipper: Simple, Purely-Functional Sequences.
0
0.34
2016
Incremental Computation with Names.
10
0.56
2015
Implicit self-adjusting computation for purely functional programs
17
0.67
2014
Adapton: composable, demand-driven incremental computation
22
0.77
2014
Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations
44
1.64
2014
Knowledge inference for optimizing secure multi-party computation
9
0.57
2013
Self-adjusting stack machines
6
0.45
2011
CEAL: a C-based language for self-adjusting computation
41
1.50
2009
Memory management for self-adjusting computation
8
0.54
2008
A proposal for parallel self-adjusting computation
11
0.81
2007
1