Está aqui

/ Atualidade / Eventos / Kind Inference for the FreeST Programming Language /
Voltar ao Topo
    
Seminário Doutoral do Departamento de Informática

Kind Inference for the FreeST Programming Language

Sala 6.2.44, Ciências ULisboa

Por Bernardo Almeida (orientadores: Vasco Vasconcelos / Andreia Mordido).

In this seminar, I will present a kind inference algorithm for the FreeST programming language. The input to the algorithm is FreeST source code with (possibly part of) kind annotations replaced by kind variables. The algorithm infers concrete kinds for all kind variables. We ran the algorithm on the FreeST test suite by first replacing kind annotation on all type variables by fresh kind variables, and concluded that the algorithm correctly infers all kinds. Non surprisingly, we found out that programmers do not choose the most general kind in 20% of the cases.

16h00
Departamento de Informática | Ciências ULisboa
DI
3.º Ciclo
Doutoramento
Informática
Programação
Bola de cristal colocada no solo
Soil ecology and ecosystem services

O curso tem como objetivo apresentar aos participantes um estado da arte atualizado sobre a diversidade da biota do solo e os papéis funcionais desempenhados pelos organismos do solo nos principais processos ecológicos - candidaturas até 19 de dezembro.
Imagem exemplificativa da área da deteção remota
Remote sensing of the environment: a practical course

Este curso avançado tem como objetivo fornecer acesso e ferramentas para a aquisição e processamento de dados de deteção remota para diferentes aplicações, usando imagens multiespectrais de satélite, drone, terrestres e LiDAR, com foco na caracterização da vegetação e da paisagem, bem como das suas mudanças ao longo do tempo - candidaturas até 19 de dezembro.
Imagem abstrata
Until Death Do Us Apart: Living in a Symbiotic World

Neste curso, será promovida uma abordagem multidisciplinar, apresentando as descobertas mais recentes sobre o tema e desafiando a forma tradicional de considerar as associações simbióticas como exceções e não como a regra - candidaturas até 09 de janeiro.
ICMWIA - International Conference on Medical Microwave Imaging Applications

A conferência visa reunir os principais especialistas no domínio da Imagiologia Médica por Micro-ondas (MMWI) e incluirá palestras, apresentações e pósteres de resumos revistos por pares e artigos de conferências, bem como workshops em áreas satélite de investigação com interesse para a investigação em MMWI.
Pessoas a analisarem dados
Data Collection and Analysis in Qualitative and Participatory Methods

O curso tem os seguintes objetivos:

Páginas