changeset 107:972cd08436f2

Fix typo
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 21 Jul 2015 17:46:05 +0900
parents 5819dea3ceb5
children f90d32d5d006
files slides/20150714/slide.md
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/slides/20150714/slide.md	Mon Jul 13 19:17:35 2015 +0900
+++ b/slides/20150714/slide.md	Tue Jul 21 17:46:05 2015 +0900
@@ -7,7 +7,7 @@
 # LOLA + LICS/ICALP に行ってきました
 * LICS/ICALP が本体(月から金の5日間)
     * [Logic in Computer Science](http://lics.rwth-aachen.de/lics15/)
-    * [nternational Colloquium on Automata, Languages and Programming](http://www.kurims.kyoto-u.ac.jp/icalp2015/)
+    * [International Colloquium on Automata, Languages and Programming](http://www.kurims.kyoto-u.ac.jp/icalp2015/)
     * の併設。([スケジュール](http://www.kurims.kyoto-u.ac.jp/icalp-lics2015/icalplics2015-schedule-overview.pdf))
 * LOLA は LICS の workshop
     * [Syntax and Semantics of Low-Level Languages](http://lola15.tcs.ifi.lmu.de/)
@@ -21,7 +21,7 @@
 
 # 気になった発表とか
 * The SML# compiler backend: compiling ML to C-compatible low-level code(LOLA)
-    * SML#, dependent type, C-compatible
+    * SML#, dependent type, C-compatible, LLVM
 * A Cubical Approach to Synthetic Homotopy Theory(LICS)
     * HoTT, topology, Type Theory
 * Game Semantics for Type Soundness(LICS)