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 × Germany
1 × Italy
1 × Latvia
3 × USA
Collaborated with:
H.Im K.Nakata W.Lee J.Park J.Seo J.Kim F.Pfenning S.Thrun J.Garrigue
Talks about:
type (5) function (2) languag (2) system (2) recurs (2) probabilist (1) signatur (1) contract (1) abstract (1) theorem (1)

Person: Sungwoo Park

DBLP DBLP: Park:Sungwoo

Contributed to:

POPL 20142014
ICALP (2) 20132013
POPL 20132013
OOPSLA 20112011
ICFP 20082008
ICFP 20072007
POPL 20052005

Wrote 7 papers:

POPL-2014-LeeP #logic #proving
A proof system for separation logic with magic wand (WL, SP), pp. 477–490.
ICALP-v2-2013-ImNP #data type #parametricity #recursion
Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types (HI, KN, SP), pp. 299–311.
POPL-2013-ParkSP #proving #theorem proving
A theorem prover for Boolean BI (JP, JS, SP), pp. 219–232.
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.
ICFP-2007-Park #higher-order #type safety
Type-safe higher-order channels in ML-like languages (SP), pp. 191–202.
POPL-2005-ParkPT #probability
A probabilistic language based upon sampling functions (SP, FP, ST), pp. 171–182.

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.