From acaaa913490837245596b14c7bb75f9451294778 Mon Sep 17 00:00:00 2001 From: ben Date: Sat, 5 Mar 2016 13:40:03 -0500 Subject: [PATCH] [icfp] nix the old abstract, need a new one --- icfp-2016/paper.scrbl | 21 +++++++++++---------- 1 file changed, 11 insertions(+), 10 deletions(-) diff --git a/icfp-2016/paper.scrbl b/icfp-2016/paper.scrbl index 76a2f56..be7d53c 100644 --- a/icfp-2016/paper.scrbl +++ b/icfp-2016/paper.scrbl @@ -7,21 +7,22 @@ ""] @title{Functional Pearl: Do you see what I see?} -@subtitle{Improving a simple type system with dependent macros} +@; @subtitle{Improving a simple type system with dependent macros} @; should say "value-dependent"? @; TODO subtitle doesn't appear in the right place @abstract{ - A simple type system with macros is nearly as good as a dependent type - system, at least for some common programming tasks. - By analyzing program syntax and propogating constants - before type-checking, we can express many of the practical - motivations for dependent types without any programmer annotations - or extensions to the underlying type system. + TBA @; Be Positive, not negative + @;A simple type system with macros is nearly as good as a dependent type + @; system, at least for some common programming tasks. + @;By analyzing program syntax and propogating constants + @; before type-checking, we can express many of the practical + @; motivations for dependent types without any programmer annotations + @; or extensions to the underlying type system. - Our syntax-dependent subtypes are not proving theorems, - but they detect certain run-time errors at compile-time and - cooperate with type inference. + @;Our syntax-dependent subtypes are not proving theorems, + @; but they detect certain run-time errors at compile-time and + @; cooperate with type inference. } @;@category["D.3.3" "Programming Languages" "Language Constructs and Features"]