aronisstav

aronisstav has asked 5 questions and find answers to 35 problems.

Stats

About

I am a:

holder of a PhD degree in Computer Science from Uppsala University, with a dissertation titled "Effective Techniques for Stateless Model Checking"
developer/maintainer of tools that detect errors in Erlang code, such as Dialyzer and Concuerror
regular participant in Google Code Jam and ICFP Contest
Greek

aronisstav questions

Erlang: no match of right hand side value
Jekyll post not generated
How to change values of "-define" Erlang attributes (macro definitions)?

aronisstav answers

Difference between a List and a Tuple in Erlang
edoc not generating all documentation types in hrl file?
What does PLT stand for?
Why does Dialyzer believe specs with too-specific return types?
Is there any efficiency difference between using Dialyzer on Erlang beam and source code?
Erlang: dialyzer is dead slow for a big project
Why does Dialyzer not catch this simple error?
Dialyzer misses error with type specification
Elixir type specs and parameterized type variables
Why doesn't Dialyzer find this code wrong?