BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Latvia
1 × United Kingdom
2 × USA
Collaborated with:
S.Park K.Nakata G.Castagna K.Nguyen J.Kim V.Benzaken J.Garrigue Z.Xu S.Lenglet L.Padovani
Talks about:
type (5) function (2) recurs (2) polymorph (1) signatur (1) contract (1) calculus (1) approach (1) abstract (1) theoret (1)

Person: Hyeonseung Im

DBLP DBLP: Im:Hyeonseung

Contributed to:

ESOP 20152015
POPL 20142014
ICALP (2) 20132013
OOPSLA 20112011
ICFP 20082008

Wrote 5 papers:

ESOP-2015-CastagnaI0B #calculus #pattern matching #xquery
A Core Calculus for XQuery 3.0 — Combining Navigational and Pattern Matching Approaches (GC, HI, KN, VB), pp. 232–256.
POPL-2014-Castagna0XILP #evaluation #polymorphism #semantics #syntax
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation (GC, KN, ZX, HI, SL, LP), pp. 5–18.
ICALP-v2-2013-ImNP #data type #parametricity #recursion
Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types (HI, KN, SP), pp. 299–311.
OOPSLA-2011-ImNGP #recursion #type system
A syntactic type system for recursive modules (HI, KN, JG, SP), pp. 993–1012.
ICFP-2008-ParkKI #functional
Functional netlists (SP, JK, HI), pp. 353–366.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.