pith. sign in

Jeremy G. Siek

Identifiers

  • name variant Jeremy G. Siek 0.60 · backfill

Papers (12)

  1. Optimizing and Evaluating Transient Gradual Typing cs.PL · 2019 · author #2
  2. Efficient Gradual Typing cs.PL · 2018 · author #3
  3. Revisiting Elementary Denotational Semantics cs.PL · 2017 · author #1
  4. Well-Typed Languages are Sound cs.PL · 2016 · author #3
  5. Gradual Typing in an Open World cs.PL · 2016 · author #2
  6. Monotonic References for Gradual Typing cs.PL · 2013 · author #1
  7. Modular Type-Safety Proofs using Dependant Types cs.PL · 2012 · author #2
  8. Reliable Generation of High-Performance Matrix Algebra cs.MS · 2012 · author #5
  9. The C++0x "Concepts" Effort cs.PL · 2011 · author #1
  10. Well-typed Islands Parse Faster cs.PL · 2011 · author #2
  11. Effects for Funargs cs.PL · 2011 · author #1
  12. A Language for Generic Programming in the Large cs.PL · 2007 · author #1

Mentions

  • 1312.0694 #1 · backfill · confidence 0.70 Jeremy G. Siek
  • 1208.0535 #2 · backfill · confidence 0.70 Jeremy G. Siek
  • 1205.1098 #5 · backfill · confidence 0.70 Jeremy G. Siek
  • 1201.0027 #1 · backfill · confidence 0.70 Jeremy G. Siek
  • 1201.0024 #2 · backfill · confidence 0.70 Jeremy G. Siek
  • 1201.0023 #1 · backfill · confidence 0.70 Jeremy G. Siek
  • 0708.2255 #1 · backfill · confidence 0.70 Jeremy G. Siek

Frequent Coauthors