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.