( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Quantified class constraints.

, , , , и . Haskell, стр. 148-161. ACM, (2017)

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.

S C Jones

Augusto Brandão d' Oliveira

Bruno d' Agostini

S T PATIL D S BORMANE

Gregory D S Anderson

 

Другие публикации лиц с тем же именем

Partition-based regression verification., , и . ICSE, стр. 302-311. IEEE Computer Society, (2013)A dependently typed calculus with polymorphic subtyping., и . Sci. Comput. Program., (2021)Disjoint Polymorphism., , и . ESOP, том 10201 из Lecture Notes in Computer Science, стр. 1-28. Springer, (2017)Extensibility for the Masses - Practical Extensibility with Object Algebras., и . ECOOP, том 7313 из Lecture Notes in Computer Science, стр. 2-27. Springer, (2012)Modular Visitor Components.. ECOOP, том 5653 из Lecture Notes in Computer Science, стр. 269-293. Springer, (2009)Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects., , , , , , и . APLAS, том 9458 из Lecture Notes in Computer Science, стр. 11-28. Springer, (2015)Pattern matching in an open world., и . GPCE, стр. 134-146. ACM, (2018)Classless Java., , , и . GPCE, стр. 14-24. ACM, (2016)Regression tests to expose change interaction errors., , и . ESEC/SIGSOFT FSE, стр. 334-344. ACM, (2013)Union Types with Disjoint Switches., , , и . ECOOP, том 222 из LIPIcs, стр. 25:1-25:31. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)