BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × France
1 × Japan
1 × Poland
1 × Spain
1 × Sweden
Collaborated with:
X.Leroy J.B.Wells A.Hirschowitz N.Tabareau D.Hirschkoff D.Pous A.Schmitt J.Stefani
Talks about:
modul (3) mixin (3) valu (3) call (3) semant (2) type (2) ownership (1) hypothesi (1) structur (1) homotopi (1)

Person: Tom Hirschowitz

DBLP DBLP: Hirschowitz:Tom

Contributed to:

TLCA 20152015
GPCE 20052005
ESOP 20042004
FLOPS 20042004
PPDP 20032003
ESOP 20022002
POPL 20192019

Wrote 7 papers:

TLCA-2015-HirschowitzHT #type system
Wild ω-Categories for the Homotopy Hypothesis in Type Theory (AH, TH, NT), pp. 226–240.
GPCE-2005-HirschkoffHPSS #component #programming
Component-Oriented Programming with Sharing: Containment is Not Ownership (DH, TH, DP, AS, JBS), pp. 389–404.
ESOP-2004-HirschowitzLW #call-by #mixin #reduction #semantics
Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types (TH, XL, JBW), pp. 64–78.
FLOPS-2004-Hirschowitz #mixin
Rigid Mixin Modules (TH), pp. 214–228.
PPDP-2003-HirschowitzLW #call-by #compilation #functional #recursion
Compilation of extended recursion in call-by-value functional languages (TH, XL, JBW), pp. 160–171.
ESOP-2002-HirschowitzL #call-by #mixin
Mixin Modules in a Call-by-Value Setting (TH, XL), pp. 6–20.
POPL-2019-Hirschowitz #monad #semantics
Familial monads and structural operational semantics (TH), p. 28.

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.