Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
people:fbanados [2014/05/22 13:07] – [About me] fbanados | people:fbanados [2014/09/12 13:58] – fbanados | ||
---|---|---|---|
Line 1: | Line 1: | ||
| | ||
| **Felipe Bañados Schwerter** | | **Felipe Bañados Schwerter** | ||
- | | Master Student| [[fbanadosATdcc.uchile.cl]] | | + | | PhD student| [[fbanadosATcs.ubc.ca]] |
+ | | [[http:// | ||
+ | | [[http:// | ||
+ | | [[http:// | ||
+ | | Previous contact information | ||
| [[http:// | | [[http:// | ||
| [[http:// | | [[http:// | ||
Line 8: | Line 12: | ||
===== About me ===== | ===== About me ===== | ||
- | After receiving | + | I am currently |
- | I also was a Visiting Scholar at the [[http:// | + | |
+ | I graduated from the MSc in Computer Science program at the University of Chile in 2014, with a thesis advised by | ||
+ | [[people: | ||
+ | I also received a BESc. in Computer Science and a Professional Title (Civil Engineer in Computing) from this same University. | ||
+ | ===== Master' | ||
+ | My thesis, [[http:// | ||
- | ===== Research Abstract ===== | + | **Language Note** : The University of Chile requires a title page and an abstract |
- | //From my thesis proposal' | + | |
- | Type-and-effect or effect systems are kinds of type systems that also verify and guarantee side-effect invariants over programs. Examples of effect systems are exceptions or error handling, memory updates and I/O. Generic type-and-effect systems generalize the common patterns among effect systems characterizing effects as ' | ||
- | |||
- | At the same time, gradual type systems bridge the gap between the flexibility provided by dynamic languages, and the guarantees given by static type systems, allowing for a programmer-controlled migration between dynamic and static typing. However, these two programming language features have not been combined theoretically nor through an implementation. | ||
- | |||
- | We propose the introduction of gradual typing for generic type-and-effect systems. Currently, static type-and-effect systems only allow a one-step migration which can be risky or costly in ongoing software projects. A gradual approach would ease these kind of migrations by giving programmers the flexibility to decide when and where to insert the required type annotations. | ||
===== Publications ===== | ===== Publications ===== |