Travelled to:1 × Japan
1 × USA
Collaborated with:∅
Talks about:construct (2) calculus (2) type (2) product (1) definit (1) stream (1) linear (1) size (1) base (1)
Person: Jorge Luis Sacchini
DBLP: Sacchini:Jorge_Luis
Contributed to:
2014
2013Wrote 2 papers:
- FLOPS-2014-Sacchini #calculus #linear
- Linear Sized Types in the Calculus of Constructions (JLS), pp. 169–185.
- LICS-2013-Sacchini #calculus #type system
- Type-Based Productivity of Stream Definitions in the Calculus of Constructions (JLS), pp. 233–242.