Luke Geeson

icon indicating a website link https://lukegeeson.com

icon company NVIDIA icon location Cambridge, UK icon location Current: Engineer @nvidia. Prev: CS PhD @UCL, Compiler Engineer@Arm, MSc CS@Oxford, BSc CS@Uni of Nottingham. Opinions are my own - do not represent my employer

Results 1 repositories owned by Luke Geeson

lplzoo

37
Stars
1
Forks
Watchers

Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

verified publisher icon lukeg101