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 × The Netherlands
2 × France
Collaborated with:
B.Düdder J.Rehof P.Urzyczyn
Talks about:
combinatori (1) intersect (1) synthesi (1) composit (1) subtyp (1) stage (1) match (1) logic (1) bound (1) type (1)

Person: Moritz Martens

DBLP DBLP: Martens:Moritz

Contributed to:

ESOP 20142014
TLCA 20132013
CSL 20122012

Wrote 3 papers:

ESOP-2014-DudderMR #composition #staged #synthesis
Staged Composition Synthesis (BD, MM, JR), pp. 67–86.
TLCA-2013-DudderMR #type system
Intersection Type Matching with Subtyping (BD, MM, JR), pp. 125–139.
CSL-2012-DudderMRU #bound #combinator #logic
Bounded Combinatory Logic (BD, MM, JR, PU), pp. 243–258.
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.