I've written a paper on Ur/Web that will appear at POPL 2015, a research
conference in the general field of programming languages. Would any of
you mind reading a draft to see if there are any embarrassing errors,
poor explanations, inaccurate claims about other frameworks, etc.? If
so, thanks in advance! The paper is here:
http://adam.chlipala.net/tmp/urweb.pdf
I'll keep updating the file at that URL as I fix issues that folks point
out.
Some of you may know POPL as a conference that involves a lot of dense
theory. This particular paper, though, should be accessible to anyone
who meets the prerequisites that I give for Ur/Web itself: expert on
typed functional programming languages like ML and Haskell. There
aren't any formal semantics or proofs.
One part of the paper lists production Ur/Web applications. If you have
one that I've missed, or if you have a correction to my current
description of your application, I'd especially appreciate hearing from you!
FWIW, I need to finalize the paper by October 28.
Thanks!
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
