On being a PhD student of Robert Harper | Journal of Functio

On being a PhD student of Robert Harper - Volume 32

Related Keywords

Peter Lee , Durham , United Kingdom , Edinburgh , City Of , Perry Cheng , Bob Harper , John Reynolds , Guy Blelloch , Carnegie Mellon , Robin Milner , Doherty Hall , Greg Morrisett , Benjaminc Pierce , Karl Crary , Derek Dreyer , Jeannette Wing , Harvey Mudd College Thesis , Carnegie Mellon University Thesis , University Of Pennsylvania Thesis , Nimbella Inc , Max Planck Institute For Software Systems Thesis , Intersection Types , Bounded Polymorphism , Bob Constable , Cornell Tech , Harvey Mudd College , Singleton Kinds , Singleton Types , Programming Languages , Type Theory , Fox Project , Practical Foundations , Scalable Real Time Parallel Garbage Collection , Symmetric Multiprocessors , Carnegie Mellon University , Self Adjusting Computation , Max Planck Institute , Software Systems ,