The contest hosts 7 challenges ranging from algorithms to logics to compilers.
Problem Setters PaweĹ Kacprzak, Joseph Abrahamson, Wanbo, Abhiranjan.
Validators Javran (Fang) Cheng, Ray Williams Robinson Valiente, Wanbo, Abhiranjan.
Languages allowed: Haskell, Scala, Lisp, Erlang, Clojure, OCaml and F#.
Want to contribute problems? Mail to hackers@hackerrank.com with the subject "Lambda Calculi".
Lambda Calculi July'14 had a whopping 202 participants out of 1124 who signed up for the contest and made 1284 submissions in total
Fastest Solver: rbocquet in 29 hours and 58 minutes
Most Accurate Solver: Kyumin Kim and Emin Karayel with 15 submissions.
Most Consistant Solver: scturtle with 48 submissions.
Participation country wise: People from 44 countries participated - India > United States > China > Japan = Russian Federation = Ukraine.
Participation university wise: Students from 86 universities across the globe participated in the contest.
Perfect scorer in all lambda-calculi: Pavel Lepin.
Perfect scorer in last lambda-calculi: rbocquet, scturtle, avolchek, Kyumim Kim, Emim Karayel and Pavel Lepin.