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. History9 years 21 weeks |
Browse archivesActive forum topics |
Recent comments
6 weeks 5 days ago
7 weeks 13 hours ago
7 weeks 1 day ago
14 weeks 1 day ago
19 weeks 6 days ago
20 weeks 18 hours ago
20 weeks 6 days ago
23 weeks 5 days ago
25 weeks 1 day ago
25 weeks 1 day ago