Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Jennifer Hackett

Registered user since Wed 21 Mar 2018

Name:Jennifer Hackett
Bio:

I’m a postdoctoral researcher in the Functional Programming Lab at the University of Nottingham, working on ways to reason about the efficiency of programs in call-by-need (a.k.a. lazy) programming languages. I’m particularly interested in ways to unify the two concerns of correctness and efficiency.

Country:United Kingdom
Affiliation:University of Nottingham, UK
Research interests:reasoning about efficiency, call-by-need evaluation, cost semantics

Contributions

Show activities from other conferences

ICFP 2020-profile
View general profile