Mercurial > hg > Members > atton > seminar_slides
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)