Computer Science
Profile Activity
Network profile
131
reputation
4

Callum Rogers

I am interested in Functional Programming, Compilers, Programming Languages, Interpreters and Reactive Programming.

Github

0
answers
1
question
~128
people reached
  • London, United Kingdom
  • callumr.com
  • Member for 8 years, 5 months
  • 2 profile views
  • Last seen Feb 5 at 17:35

Communities (19)

Top network posts

Top tags (3)

Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (1)

All Questions Answers
Votes Newest
3 Are two terms where one is without a $\lambda\beta$ normal form unconvertible in $\lambda\beta$? Nov 12 '12

Badges (4)

Gold

—

Silver

—

Bronze

4

Rarest