| |
# of records = 17
homepages/22/2801 conf/icfp/2008wgp conf/icfp/SymeNM07 conf/ml/Syme06 journals/entcs/Syme06 journals/tcad/SegerJOMABS05 conf/popl/YuKS04 journals/concurrency/KennedyS04 conf/lpar/SymeG02 conf/pldi/KennedyS01 conf/popl/GordonS01 journals/tcs/Syme01 conf/java/Syme99 conf/tphol/Syme99 conf/tphol/CollinsS95 conf/tphol/Syme95 conf/tphol/Syme93
Copyright © 2010-01-01 by Michael Ley (ley@uni-trier.de)