User loginNavigation |
Kostas PramatiasPersonal informationKostas Pramatias Wannabe computer scientist, located in greece. I have worked as an amateur on the languages Javascript, Java, Python, Ruby, Php, but the real passion of mine is Lisp, Forth, Haskell, Erlang,Shen and of course the theorem provers of which the one i like most is Coq. Programming languages theory, syntax and semantics, huge lisp fan, stack based languages and of all languages with a small core, so as to be portable. History11 years 23 weeks |
Browse archives
Active forum topics
|
Recent comments
20 weeks 2 days ago
24 weeks 4 days ago
26 weeks 1 day ago
26 weeks 1 day ago
28 weeks 6 days ago
33 weeks 3 days ago
33 weeks 3 days ago
33 weeks 6 days ago
33 weeks 6 days ago
36 weeks 5 days ago