Capture-avoiding and hygienic program transformations (2004) : Erdweg, Sebastian and van der Storm, Tijs and Dai, Yi and Van Der Storm, Tijs and Dai, Yi DOI: https://t.co/SKdS4kPNdi #arxiv #calculus #delegation #meta #theory #my_bibtex
153 followers
153 followers
Capture-avoiding and hygienic program transformations (2014) : Erdweg, Sebastian and Van Der Storm, Tijs and Dai, Yi DOI: https://t.co/SKdS4kPNdi #DERRIC #FSMs #RASCAL #capture_avoidance #case_study #graph #hygienic_transforms #l #my_bibtex
153 followers
Capture-avoiding and hygienic program transformations (2004) : Erdweg, Sebastian and van der Storm, Tijs and Dai, Yi and Van Der Storm, Tijs and Dai, Yi DOI: https://t.co/SKdS4kPNdi #delegation #calculus #arxiv #meta #theory #my_bibtex
767 followers
RT @superbobry: Hey Twitter! Are there any papers formally describing the Python type system? I'm looking for something similar to "Underst…