Key Shin

According to our database, Key Shin authored at least 1 paper in 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

SASyLF: an educational proof assistant for language theory.

Jonathan Aldrich, Robert J. Simmons, Key Shin

Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008