Author of the publication

A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs.

, , and . SBMF, volume 11254 of Lecture Notes in Computer Science, page 39-55. Springer, (2018)

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.

 

Other publications of authors with the same name

Towards an Extrinsic Formalization of Featherweight Java in Agda., , and . CLEI Electron. J., (2021)Formal Semantics for Java-like Languages and Research Opportunities., , and . RITA, 25 (3): 62-74 (2018)The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions., , , , , and . CLEI Electron. J., (2021)A monadic semantics for quantum computing in an object oriented language., , , and . Sci. Comput. Program., (2019)Representing Intuistionistic Fuzzy Bi-implications Using Quantum Computing., , , , , and . NAFIPS, volume 831 of Communications in Computer and Information Science, page 206-216. Springer, (2018)FJQuantum - A Quantum Object Oriented Language., , , and . Electron. Notes Theor. Comput. Sci., (2016)A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs., , and . SBMF, volume 11254 of Lecture Notes in Computer Science, page 39-55. Springer, (2018)Property-based testing for lambda expressions semantics in featherweight Java., , and . SBLP, page 43-50. ACM, (2018)Generating Random Well-Typed Featherweight Java Programs Using QuickCheck., , and . Electr. Notes Theor. Comput. Sci., (2019)A Monadic Semantics for Quantum Computing in Featherweight Java., , , and . SBLP, volume 9889 of Lecture Notes in Computer Science, page 31-45. Springer, (2016)