Travelled to:
1 × Austria
Collaborated with:
∅
Talks about:
generic (1) static (1) record (1) combin (1) check (1) type (1)
Person: Wolfgang Jeltsch
DBLP: Jeltsch:Wolfgang
Contributed to:
Wrote 1 papers:
- PPDP-2010-Jeltsch #combinator #static typing #type checking
- Generic record combinators with static type checking (WJ), pp. 143–154.