Travelled to:1 × Estonia
Collaborated with:S.Schupp
Talks about:languag (2) transform (1) constrain (1) concept (1) orient (1) object (1) higher (1) order (1) type (1) cool (1)
Person: Daniel Lincke
DBLP: Lincke:Daniel
Contributed to:
Wrote 1 papers:
- LDTA-2012-LinckeS #concept #higher-order #object-oriented
- From HOT to COOL: transforming higher-order typed languages to concept-constrained object-oriented languages (DL, SS), p. 3.












