Juan Pablo Yamamoto

Soy Juan Pablo Yamamoto, estudiante de Ciencias de la Computación y Matemáticas.

Actualmente realizo mi tesis de licenciatura en el tema de Lógica Lineal y su aplicación a tipos lineales, en específico mediante la extensión de GHC: “LinearTypes”.

Áreas de Interés

• Lógica.
• Lenguajes de Programación.

Lenguajes de Programación

• Haskell
• Rust
• Lean