Author of the publication

Slimming languages by reducing sugar: a case for semantics-altering transformations.

, , , and . Onward!, page 90-106. ACM, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Krishnamurthi, Shriram
add a person with the name Krishnamurthi, Shriram
 

Other publications of authors with the same name

Compiling Stateful Network Properties for Runtime Verification., , , , and . CoRR, (2016)ADsafety: Type-Based Verification of JavaScript Sandboxing., , , and . CoRR, (2015)Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs., and . ICSE, page 277-287. ACM, (2002)Web Verification: Perspective and Challenges.. WWV, DSIC-II/03/05, page 3-8. Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, (2005)Educational Pearl: Automata via macros.. J. Funct. Program., 16 (3): 253-267 (2006)A programmable programming language., , , , , , and . Commun. ACM, 61 (3): 62-71 (2018)The behavior of gradual types: a user study., , , and . DLS, page 1-12. ACM, (2018)Features and object capabilities: reconciling two visions of modularity., , and . AOSD, page 25-34. ACM, (2012)CLIME: An Environment for Constrained Evolution Demonstration Description., , , and . ICSE, page 818-819. IEEE Computer Society, (2003)Aluminum: principled scenario exploration through minimality., , , , and . ICSE, page 232-241. IEEE Computer Society, (2013)