×

generic-partially-static-data.pdf

Home / Discover /www.cl.cam.ac.uk/~jdy22/papers/

  Parent Folder


generic-partially-static-data.pdf
PDF 6 years ago 185.19 kB
Copy Link   
causal-commutative-arrows-revisited.pdf
PDF 6 years ago 250.14 kB
Copy Link   
extending-ocamls-open.pdf
PDF 6 years ago 132.79 kB
Copy Link   
first-class-subtypes.pdf
PDF 6 years ago 341.38 kB
Copy Link   
ocaml-inside-a-drop-in-replacement-for-libtls.pdf
PDF 6 years ago 254.43 kB
Copy Link   
staged-generic-programming.pdf
PDF 6 years ago 318.03 kB
Copy Link   
staging-generic-programming.pdf
PDF 6 years ago 213.39 kB
Copy Link   
a-modular-foreign-function-interface.pdf
PDF 6 years ago 279.05 kB
Copy Link   
declarative-foreign-function-binding-through-generic-programming.pdf
PDF 6 years ago 237.63 kB
Copy Link   
modular-implicits.pdf
PDF 6 years ago 358.62 kB
Copy Link   
partially-static-data-as-free-extension-of-algebras-short-paper.pdf
PDF 6 years ago 121.30 kB
Copy Link   
modular-macros.pdf
PDF 6 years ago 93.31 kB
Copy Link   
partially-static-data-as-free-extension-of-algebras.pdf
PDF 6 years ago 569.38 kB
Copy Link   
effective-concurrency-through-algebraic-effects.pdf
PDF 6 years ago 60.95 kB
Copy Link   
generating-mutually-recursive-definitions.pdf
PDF 6 years ago 194.67 kB
Copy Link   
lightweight-higher-kinded-polymorphism.pdf
PDF 6 years ago 267.81 kB
Copy Link   
generating-mutually-recursive-definitions-short-paper.pdf
PDF 6 years ago 627.30 kB
Copy Link   
ctypes-foreign-calls-in-your-native-language.pdf
PDF 6 years ago 162.05 kB
Copy Link   
extending-ocamls-open-draft.pdf
PDF 6 years ago 189.61 kB
Copy Link   
the-arrow-calculus.pdf
PDF 6 years ago 196.99 kB
Copy Link   

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