The following pages link to Andrew J. Kennedy (Q724925):
Displayed 19 items.
- Transposing G to \(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language (Q724927) (← links)
- (Q860845) (redirect page) (← links)
- Securing the .NET programming model (Q860846) (← links)
- Strongly typed term representations in Coq (Q2392480) (← links)
- Exceptional syntax (Q2757081) (← links)
- Interlanguage working without tears (Q2817716) (← links)
- Abstraction and invariance for algebraically indexed types (Q2931786) (← links)
- High-level separation logic for low-level code (Q2931805) (← links)
- Every bit counts: The binary representation of typed data and programs (Q3165525) (← links)
- Some Domain Theory and Denotational Semantics in Coq (Q3183523) (← links)
- Counting Successes: Effects and Transformations for Non-deterministic Programs (Q3188280) (← links)
- (Q4499197) (← links)
- FUNCTIONAL PEARL <i>Pickler combinators</i> (Q4660269) (← links)
- Compiling with continuations, continued (Q5168930) (← links)
- Functional pearl (Q5176924) (← links)
- Compiling standard ML to Java bytecodes (Q5234263) (← links)
- Reading, Writing and Relations (Q5385590) (← links)
- Shrinking Reductions in SML.NET (Q5423549) (← links)
- Functional Pearls (Q5687913) (← links)