Collaborated with:Michael Arntzenius A.Armstrong Thomas Bauereiss Brian Campbell 0001 A.Reid K.E.Gray Robert M. Norton Prashanth Mundkur Mark Wassell Jon French Christopher Pulte S.Flur I.Stark P.Sewell
Talks about:seminaïv (1) function (1) languag (1) semant (1) higher (1) order (1) evalu (1) cheri (1) risc (1) mip (1)
Person: Neel Krishnaswami
DBLP: Krishnaswami:Neel
Contributed to:
20192020Wrote 2 papers:
- POPL-2019-ArmstrongBCRGNM #semantics
- ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS (AA, TB, BC0, AR, KEG, RMN, PM, MW, JF, CP, SF, IS, NK, PS), p. 31.
- POPL-2020-ArntzeniusK #evaluation #functional #higher-order
- Seminaïve evaluation for a higher-order functional language (MA, NK), p. 28.