... | ... | @@ -10,4 +10,7 @@ This pages does **not** document Call Arity as implemented; that documentation s |
|
|
This page used to discuss possible changes to the analysis, but these are implemented now (\[cb8a63c\]), so I removed the obsolete notes from here.
|
|
|
|
|
|
|
|
|
More information on the analysis can be found in the [ TFP 2013 paper](http://www.joachim-breitner.de/publications/CallArity-TFP.pdf). A proof of safety can be found in a paper [ presented at Haskell’15](http://www.joachim-breitner.de/publications/CallArity-Haskell15.pdf) and in the [ Isabelle formalization of Call Arity.](http://afp.sourceforge.net/entries/Call_Arity.shtml) |
|
|
\ No newline at end of file |
|
|
|
|
|
More information on the analysis can be found in the [ TFP 2013 paper](http://www.joachim-breitner.de/publications/CallArity-TFP.pdf). A proof of safety can be found in a paper [ presented at Haskell’15](http://www.joachim-breitner.de/publications/CallArity-Haskell15.pdf) and in the [ Isabelle formalization of Call Arity.](http://afp.sourceforge.net/entries/Call_Arity.shtml)
|
|
|
|
|
|
|