Talks of Jaemin Hong

Conferences

Polymorphic Symmetric Multiple Dispatch with Variance

KIISE SIGPL Summer School 2019, August 2019

Symmetric Multiple Dispatch for Path-Dependent Types

The 10th ACM SIGPLAN Symposium on Scala, July 2019

Path Dependent Types with Path-Equality

The 16th Asian Symposium on Programming Languages and Systems (APLAS), December 2018

Path Dependent Types with Path-Equality

The 9th ACM SIGPLAN Symposium on Scala, September 2018

Video

Posters

Symmetric Multiple Dispatch for Path-Dependent Types

KIISE SIGPL Summer School 2019, August 2019

Symmetric Multiple Dispatch for Path-Dependent Types

Scala Days 2019, June 2019

Polymorphic Symmetric Multiple Dispatch with Variance

The 2nd “Multi-language Verification and Debuging for Full-stack Software via Intelligent Automation” Workshop, January 2019

System Fπ: System F⟨: with Pattern-Based Refined Types

KIISE Korea Software Congress (KSC) 2018, December 2018

Path Dependent Types with Path-Equality

The 16th Asian Symposium on Programming Languages and Systems (APLAS), December 2018

Path Dependent Types with Path-Equality

KIISE SIGPL Summer School 2018, August 2018

Formalization of Path Dependent Types with Path-Equality

KIISE Korea Computer Congress (KCC) 2018, July 2018

Formalization of the Static Semantics of Object-Oriented Languages with Variance via Type Context

KIISE Korea Software Congress (KSC) 2017, December 2017

KAIST PLRG Group Meetings

Symmetric Multiple Dispatch for Path-Dependent Types

July 2019

Future Work for FGFV

February 2019

Resolving Issues on Dotty Compiler

August 2018

Adding Path-Equality to Path-Dependent Types

May 2018

A Dynamic Dispatch Algorithm for Fortress

September 2017

KAIST Programming Languages Course Scala Seminars

Parametric Polymorphism

November 2018

Code | Video

Pattern Matching

November 2018

Code

Streams

October 2018

Code | Video

Working with Scala Collections

September 2018

Code | Video

First-Class Functions

September 2018

Code | Video

Introduction to Functional Programming

September 2018

Code | Video