Aleksandar Nanevski

发表

Anindya Banerjee, Frantivsek Farka, Aleksandar Nanevski, 2020, Proc. ACM Program. Lang..
Viktor Vafeiadis, Aleksandar Nanevski, Josh Berdine, 2010, POPL '10.
Aleksandar Nanevski, Ruy Ley-Wild, Aleksandar Nanevski, 2013, POPL.
Lars Birkedal, J. Gregory Morrisett, Aleksandar Nanevski, 2007, ESOP.
Lars Birkedal, J. Gregory Morrisett, Aleksandar Nanevski, 2006, ICFP '06.
Ilya Sergey, Anindya Banerjee, Aleksandar Nanevski, 2014, ESOP.
Neil Immerman, Shmuel Sagiv, Anindya Banerjee, 2013, CAV.
Neil Immerman, Ori Lahav, Shmuel Sagiv, 2014, POPL.
Deepak Garg, Anindya Banerjee, Aleksandar Nanevski, 2013, TOPL.
Frank Pfenning, Aleksandar Nanevski, F. Pfenning, 2004 .
Aleksandar Nanevski, Aleksandar Nanevski, 2003, PPDP '03.
Guy E. Blelloch, Robert Harper, Aleksandar Nanevski, 2001, ICFP '01.
Ilya Sergey, Anindya Banerjee, Aleksandar Nanevski, 2015, PLDI.
Ilya Sergey, Anindya Banerjee, Aleksandar Nanevski, 2017, Dagstuhl Artifacts Ser..
Frank Pfenning, Aleksandar Nanevski, 2005, J. Funct. Program..
Murdoch James Gabbay, Aleksandar Nanevski, M. Gabbay, 2013, J. Appl. Log..
Aleksandar Nanevski, Greg Morrisett, Aleksandar Nanevski, 2005 .
Ilya Sergey, Aleksandar Nanevski, Ruy Ley-Wild, 2014, ESOP.
Derek Dreyer, Aleksandar Nanevski, Georges Gonthier, 2011, ICFP '11.
J. Gregory Morrisett, Aleksandar Nanevski, Paul Govereau, 2009, TLDI '09.
Aleksandar Nanevski, 2002, ICFP '02.
Lars Birkedal, Kasper Svendsen, Aleksandar Nanevski, 2011, TLCA.
Ignacio Fábregas, Anindya Banerjee, Aleksandar Nanevski, 2019, Proc. ACM Program. Lang..
Ilya Sergey, Anindya Banerjee, Aleksandar Nanevski, 2016, OOPSLA.
Frank Pfenning, Brigitte Pientka, Aleksandar Nanevski, 2008, TOCL.
Anton Podkopaev, Ilya Sergey, Aleksandar Nanevski, 2016, ArXiv.
Anindya Banerjee, Aleksandar Nanevski, Germán Andrés Delbianco, 2017, ArXiv.
Aleksandar Nanevski, Greg Morrisett, Paul Govereau, 2007 .
Aleksandar Nanevski, Germán Andrés Delbianco, 2013, ICFP.
Guy E. Blelloch, Robert Harper, Aleksandar Nanevski, 2003, High. Order Symb. Comput..
Lars Birkedal, J. Gregory Morrisett, Aleksandar Nanevski, 2008, Journal of Functional Programming.
Viktor Vafeiadis, Derek Dreyer, Aleksandar Nanevski, 2015, J. Funct. Program..
Aleksandar Nanevski, 2003 .
Derek Dreyer, Aleksandar Nanevski, Georges Gonthier, 2013, J. Funct. Program..
Aleksandar Nanevski, 2005 .
Deepak Garg, Anindya Banerjee, Aleksandar Nanevski, 2011, 2011 IEEE Symposium on Security and Privacy.
Constantin Enea, Sharon Shoham, Aleksandar Nanevski, 2020, Proc. ACM Program. Lang..
Ilya Sergey, Anindya Banerjee, Aleksandar Nanevski, 2017, ECOOP.
Lars Birkedal, J. Gregory Morrisett, Aleksandar Nanevski, 2008, ESOP.
Frank Pfenning, Brigitte Pientka, Aleksandar Nanevski, 2003, MERLIN '03.
Lars Birkedal, J. Gregory Morrisett, Aleksandar Nanevski, 2008, ICFP.
Lars Birkedal, Aleksandar Nanevski, Avraham Shinnar, 2008, ICFP 2008.
Viktor Vafeiadis, Derek Dreyer, Aleksandar Nanevski, 2013, ICFP.
Murdoch James Gabbay, Aleksandar Nanevski, M. Gabbay, 2012, ArXiv.
Joakim Öhman, Aleksandar Nanevski, 2022, Proceedings of the ACM on Programming Languages.
Aleksandar Nanevski, Nikita Zyuzin, 2021, Proc. ACM Program. Lang..
Aleksandar Nanevski, Ruy Ley-Wild, Aleksandar Nanevski, 2012 .