×

nested_refinements_a_logic_for_duck_typing.pdf

Home / Discover /goto.ucsd.edu/~rjhala/papers/

  Parent Folder


nested_refinements_a_logic_for_duck_typing.pdf
PDF 2 years ago 298.89 kB
Copy Link   
verifying_gpu_kernels_by_test_amplification.pdf
PDF 2 years ago 320.73 kB
Copy Link   
deterministic_parallelism_via_liquid_effects.pdf
PDF 2 years ago 370.84 kB
Copy Link   
csolve_verifying_c_with_liquid_types.pdf
PDF 2 years ago 276.45 kB
Copy Link   
dependent_types_for_javascript.pdf
PDF 2 years ago 405.25 kB
Copy Link   
abstract_refinement_types.pdf
PDF 2 years ago 283.99 kB
Copy Link   
abstractions_from_proofs.pdf
PDF 2 years ago 174.28 kB
Copy Link   

Join FilePursuit on FilePursuit Discord Server chat for discussions and more information.