Travelled to:2 × USA
Collaborated with:C.L.Ong R.P.Neatherway
Talks about:higher (2) order (2) type (2) function (1) approach (1) abstract (1) program (1) pattern (1) algebra (1) verifi (1)
Person: Steven James Ramsay
DBLP: Ramsay:Steven_James
Contributed to:
20142011Wrote 2 papers:
- POPL-2014-RamsayNO #abstraction #approach #higher-order #model checking #refinement
- A type-directed abstraction refinement approach to higher-order model checking (SJR, RPN, CHLO), pp. 61–72.
- POPL-2011-OngR #algebra #data type #functional #higher-order #pattern matching #source code #verification
- Verifying higher-order functional programs with pattern-matching algebraic data types (CHLO, SJR), pp. 587–598.