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/08/14 22:51] – [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 was also a Visiting Scholar at the [[http:// | + | |
- | ==== News ==== | + | I graduated from the MSc in Computer Science program at the University of Chile in 2014, with a thesis advised by |
- | Starting September | + | [[people:etanter|Dr. Éric Tanter]] and co-advised by [[http:// |
+ | I also received a BESc. in Computer Science and a Professional Title (Civil Engineer in Computing) from this same University. | ||
- | ===== Research Abstract | + | ===== Master' |
- | //From my thesis | + | My thesis, [[http://users.dcc.uchile.cl/ |
- | Type-and-effect or effect systems are kinds of type systems that also verify | + | **Language Note** : The University |
- | 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 ===== |