suzanne.soy/trivial
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[icfp] add singletons cite

Browse Source
This commit is contained in:
ben 2016-03-14 02:18:59 -04:00
parent 54dcc0344f
commit 23b85bb52c
2 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
icfp-2016/bib.rkt
View File

@ -1137,3 +1137,10 @@
#:author "Matthew Flatt"
#:location (proceedings-location icfp #:pages '(72 83))
#:date 2002))
(define ew-haskell-2012
(make-bib
#:title "Dependently Typed Programming with Singletons"
#:author "Richard A. Eisenberg and Stephanie Weirich"
#:location (proceedings-location haskell #:pages '(117 130))
#:date 2012))

2
icfp-2016/intro.scrbl
View File

@ -31,7 +31,7 @@ The above are all @emph{value errors} that depend on properties not expressed
by Haskell's standard list, integer, and string datatypes.
Even so, it is obvious to the programmer that the expressions will go wrong
and there have been many proposals for detecting these and other value
errors@~cite[a-icfp-1999 ddems-icse-2011 lb-sigplan-2014].
errors@~cite[a-icfp-1999 ddems-icse-2011 ew-haskell-2012 lb-sigplan-2014].
What stands between these proposals and their adoption is the complexity or
annotation burden they impose on language users.