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. History8 years 4 weeks |
Browse archivesActive forum topics |
Recent comments
2 hours 3 min ago
13 hours 1 min ago
18 hours 50 min ago
19 hours 10 min ago
19 hours 40 min ago
20 hours 26 min ago
20 hours 50 min ago
21 hours 17 min ago
22 hours 51 min ago
23 hours 16 min ago