https://dblp.org/rdf/schema#authorOf
|
https://dblp.org/rec/journals/pacmpl/FrankQL24 +
, https://dblp.org/rec/conf/icse/ThimmaiahLR024 +
, https://dblp.org/rec/journals/corr/abs-2402-02642 +
, https://dblp.org/rec/journals/jcs/LiLPLHH23 +
, https://dblp.org/rec/journals/pacmpl/ShiKGPL23 +
, https://dblp.org/rec/journals/pacmpl/PrinzL23 +
, https://dblp.org/rec/conf/csfw/AndersonBLPT23 +
, https://dblp.org/rec/conf/haskell/MittelmanR0GL23 +
, https://dblp.org/rec/journals/corr/abs-2311-02769 +
, https://dblp.org/rec/journals/pacmpl/HoangTLS22 +
, https://dblp.org/rec/conf/csfw/LiLPLHH22 +
, https://dblp.org/rec/conf/haskell/BlanchetteVL22 +
, https://dblp.org/rec/conf/itp/PrinzKL22 +
, https://dblp.org/rec/conf/pldi/Paraskevopoulou22 +
, https://dblp.org/rec/journals/corr/abs-2201-13394 +
, https://dblp.org/rec/conf/esop/GoldsteinHLP21 +
, https://dblp.org/rec/journals/corr/abs-2105-00417 +
, https://dblp.org/rec/journals/pacmpl/Lampropoulos0P19 +
, https://dblp.org/rec/conf/post/RuefLSTH19 +
, https://dblp.org/rec/journals/pacmpl/FonerZL18 +
, https://dblp.org/rec/journals/pacmpl/LampropoulosPP18 +
, https://dblp.org/rec/conf/haskell/LampropoulosSF17 +
, https://dblp.org/rec/conf/haskell/VazouLP17 +
, https://dblp.org/rec/conf/popl/LampropoulosGHH17 +
, https://dblp.org/rec/journals/jfp/HritcuLSADHPV16 +
, https://dblp.org/rec/conf/nips/BastaniILVNC16 +
, https://dblp.org/rec/journals/corr/BastaniILVNC16 +
, https://dblp.org/rec/journals/corr/LampropoulosGHH16 +
, https://dblp.org/rec/conf/itp/Paraskevopoulou15 +
, https://dblp.org/rec/journals/corr/HritcuLSADHPV14 +
, https://dblp.org/rec/conf/icfp/HritcuHPSVAL13 +
, https://dblp.org/rec/journals/corr/abs-1210-6110 +
|
https://dblp.org/rdf/schema#coCreatorWith
|
https://dblp.org/pid/134/9064 +
, https://dblp.org/pid/292/3247 +
, https://dblp.org/pid/21/11275 +
, https://dblp.org/pid/256/1706 +
, https://dblp.org/pid/46/7049 +
, https://dblp.org/pid/c/AntonioCriminisi +
, https://dblp.org/pid/53/9935 +
, https://dblp.org/pid/317/0570 +
, https://dblp.org/pid/154/2058 +
, https://dblp.org/pid/366/7204 +
, https://dblp.org/pid/183/6322 +
, https://dblp.org/pid/43/6015 +
, https://dblp.org/pid/206/6294 +
, https://dblp.org/pid/06/60 +
, https://dblp.org/pid/h/MichaelWHicks +
, https://dblp.org/pid/329/8985 +
, https://dblp.org/pid/77/2466 +
, https://dblp.org/pid/09/2281 +
, https://dblp.org/pid/h/JohnHughes +
, https://dblp.org/pid/119/5087 +
, https://dblp.org/pid/176/5528 +
, https://dblp.org/pid/257/1315 +
, https://dblp.org/pid/142/1135-2 +
, https://dblp.org/pid/273/6148 +
, https://dblp.org/pid/356/9958 +
, https://dblp.org/pid/n/AdityaVNori +
, https://dblp.org/pid/167/1599 +
, https://dblp.org/pid/51/9867 +
, https://dblp.org/pid/p/BenjaminCPierce +
, https://dblp.org/pid/p/JeffPolakow +
, https://dblp.org/pid/312/6498 +
, https://dblp.org/pid/220/3282 +
, https://dblp.org/pid/254/1039 +
, https://dblp.org/pid/55/10359 +
, https://dblp.org/pid/356/9755 +
, https://dblp.org/pid/46/991 +
, https://dblp.org/pid/135/5976 +
, https://dblp.org/pid/s/KonstantinosFSagonas +
, https://dblp.org/pid/77/9770 +
, https://dblp.org/pid/211/8126-2 +
, https://dblp.org/pid/134/9084 +
, https://dblp.org/pid/210/2486 +
, https://dblp.org/pid/91/6365 +
, https://dblp.org/pid/293/0646 +
, https://dblp.org/pid/t/AndrewPTolmach +
, https://dblp.org/pid/251/2063 +
, https://dblp.org/pid/05/10429 +
, https://dblp.org/pid/239/9510 +
, https://dblp.org/pid/00/6362 +
, https://dblp.org/pid/133/6531 +
, https://dblp.org/pid/228/5409 +
|
https://dblp.org/rdf/schema#creatorName
|
Leonidas Lampropoulos
|
https://dblp.org/rdf/schema#creatorOf
|
https://dblp.org/rec/journals/pacmpl/FrankQL24 +
, https://dblp.org/rec/conf/icse/ThimmaiahLR024 +
, https://dblp.org/rec/journals/corr/abs-2402-02642 +
, https://dblp.org/rec/journals/jcs/LiLPLHH23 +
, https://dblp.org/rec/journals/pacmpl/ShiKGPL23 +
, https://dblp.org/rec/journals/pacmpl/PrinzL23 +
, https://dblp.org/rec/conf/csfw/AndersonBLPT23 +
, https://dblp.org/rec/conf/haskell/MittelmanR0GL23 +
, https://dblp.org/rec/journals/corr/abs-2311-02769 +
, https://dblp.org/rec/journals/pacmpl/HoangTLS22 +
, https://dblp.org/rec/conf/csfw/LiLPLHH22 +
, https://dblp.org/rec/conf/haskell/BlanchetteVL22 +
, https://dblp.org/rec/conf/itp/PrinzKL22 +
, https://dblp.org/rec/conf/pldi/Paraskevopoulou22 +
, https://dblp.org/rec/journals/corr/abs-2201-13394 +
, https://dblp.org/rec/conf/esop/GoldsteinHLP21 +
, https://dblp.org/rec/journals/corr/abs-2105-00417 +
, https://dblp.org/rec/journals/pacmpl/Lampropoulos0P19 +
, https://dblp.org/rec/conf/post/RuefLSTH19 +
, https://dblp.org/rec/journals/pacmpl/FonerZL18 +
, https://dblp.org/rec/journals/pacmpl/LampropoulosPP18 +
, https://dblp.org/rec/conf/haskell/LampropoulosSF17 +
, https://dblp.org/rec/conf/haskell/VazouLP17 +
, https://dblp.org/rec/conf/popl/LampropoulosGHH17 +
, https://dblp.org/rec/journals/jfp/HritcuLSADHPV16 +
, https://dblp.org/rec/conf/nips/BastaniILVNC16 +
, https://dblp.org/rec/journals/corr/BastaniILVNC16 +
, https://dblp.org/rec/journals/corr/LampropoulosGHH16 +
, https://dblp.org/rec/conf/itp/Paraskevopoulou15 +
, https://dblp.org/rec/journals/corr/HritcuLSADHPV14 +
, https://dblp.org/rec/conf/icfp/HritcuHPSVAL13 +
, https://dblp.org/rec/journals/corr/abs-1210-6110 +
|
https://dblp.org/rdf/schema#primaryCreatorName
|
Leonidas Lampropoulos
|
rdf:type |
https://dblp.org/rdf/schema#Creator +
, https://dblp.org/rdf/schema#Person +
|
rdfs:label |
Leonidas Lampropoulos
|