1,721,102 research outputs found
Il Bullismo nella scuola. Una ricerca nella provincia ionica
No full textIl Bullismo nella scuola. Una ricerca nella provincia ionic
The Pairing of Contracts and Session Types
No full textWe pair session types and contracts using two encodings. The encod- ing of session types accommodates width and depth subtyping, two properties that partially hold in contracts. The encoding of contracts accommodates complex synchronization patterns, since session types own a simple control protocol. The encodings allow one to use the two formalisms interchangeably, within the context of dyadic interactions
Multiple viewpoints on teaching
No full textL'articolo tematizza il ruolo della didattica dell'implicito nella formazion
- …
