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

[rebuttal] fix inconsistent capitalization

Browse Source
This commit is contained in:
Ben Greenman 2016-05-03 01:30:20 -04:00
parent 8264cab37b
commit 272d1ad1ff
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
icfp-2016/usage.scrbl
View File

@ -3,7 +3,7 @@
@; TODO clever examples
@title[#:tag "sec:usage"]{What we can learn from Values}
@title[#:tag "sec:usage"]{What we can Learn from Values}
We have defined useful elaborators for a variety of
common programming tasks ranging from type-safe string formatting to
@ -416,7 +416,7 @@ The situation worsens if the programmer uses multiple database connections.
One can either alias one query function to multiple identifiers (each with a specific type)
or weaken type signatures and manually type-cast query results.
@subsection{Phantom Types To the Rescue}
@subsection{Phantom Types to the Rescue}
By associating a database schema with each connection, our elaboration technique
can provide a uniform solution to these issues.
We specialize both the input and output of calls to @racket[query-row],