Abstract is missing.
- A type-safe structure editor calculusChristian Godiksen, Thomas Herrmann, Hans Hüttel, Mikkel Korup Lauridsen, Iman Owliaie. 1-13 [doi]
- Coq to C translation with partial evaluationAkira Tanaka. 14-31 [doi]
- A text-based syntax completion method using LR parsingIsao Sasano, Kwanghoon Choi. 32-43 [doi]
- Counterexample generation for program verification based on ownership refinement typesHideto Ueno, John Toman, Naoki Kobayashi 0001, Takeshi Tsukada. 44-57 [doi]
- Efficient fair conjunction for structurally-recursive relationsPeter Lozov, Dmitry Boulytchev. 58-73 [doi]
- Strictly capturing non-strict closuresZachary J. Sullivan, Paul Downen, Zena M. Ariola. 74-89 [doi]