Author

Martin Odersky

Created by ACM worker at 2019-04-15 15:11:32.0.

Simplified Graph of Associations

Word Cloud

Could you solve a captcha to retrieve Glauco Todesco's Lattes?

Cole aqui o código fonte do lattes da pessoa:

Sim, eu sei, isso é feio, é horrível. Mas o Lattes mudou para o recaptcha, e agora não sei mais como contornar.

Yes

Why?

Publications

Polymorphic type inference and abstract data types

Forge

Lightweight Polymorphic Effects

A flow-insensitive, modular effect system for purity

Lightweight modular staging

Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform

...

Published At

Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE ’13

Communications of the ACM

Lecture Notes in Computer Science

Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs - FTfJP ’13

IEEE Micro

Communications of the ACM

Co-Authors

Referenced By

Gentrification Gone Too Far? Affordable 2Nd-class Values for Fun and (Co-)Effect

Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect

Affordable dynamic types (poster)