Gerado a 26 de Janeiro de 2026 13:12 PM
Estatísticas desatualizadas? ATUALIZE !
O resultado é de 64/100
Título
Patrick Bahr | Associate Professor, IT University of Copenhagen
Cumprimento : 63
Perfeito, o Título contém entre 10 e 70 caracteres.
Descrição
Homepage of Patrick Bahr, Associate Professor, Computer Science Department, IT University of Copenhagen.
Cumprimento : 104
Perfeito, a Descrição META contém entre 70 e 160 caracteres.
Palavras-chave
Mau. Não detetámos palavras-chave META na sua página.
Propriedades Og Meta
Esta página não tira vantagens das propriedades Og.
Cabeçalhos
| H1 | H2 | H3 | H4 | H5 | H6 |
| 3 | 0 | 0 | 0 | 0 | 0 |
Imagens
Encontrámos 1 imagens nesta página.
Bom, a maioria das imagens têm o atributo ALT definidos.
Rácio Texto/HTML
Rácio : 39%
Ideal! O rácio de texto para código HTML desta página está entre 25 e 70 porcento.
Flash
Perfeito, não foi encontrado conteúdo Flash nesta página.
Iframe
Excelente, não foram detetadas Iframes nesta página.
Reescrita de URL
Perfeito. As ligações aparentam ser limpas!
Underscores (traços inferiores) nas URLs
Perfeito. Não foram encontrados 'underscores' (traços inferiores) nas suas URLs.
Ligações para a própria página
Encontrámos um total de 55 ligações incluindo 0 ligações a ficheiros
| Âncoras | Tipo | Sumo |
|---|---|---|
| Home | Internas | Passa sumo |
| Teaching | Internas | Passa sumo |
| Publications | Internas | Passa sumo |
| Talks | Internas | Passa sumo |
| Student Projects | Internas | Passa sumo |
| Bio | Internas | Passa sumo |
| Contact | Internas | Passa sumo |
| IT University of Copenhagen | Externas | Passa sumo |
| Type Systems | Internas | Passa sumo |
| Compilers | Internas | Passa sumo |
| Functional Programming | Internas | Passa sumo |
| Formal Verification | Internas | Passa sumo |
| Push-Pull Modal Functional Reactive Programming | Internas | Passa sumo |
| Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic | Internas | Passa sumo |
| Simple Modal Types for Functional Reactive Programming | Internas | Passa sumo |
| The Calculated Typer | Internas | Passa sumo |
| Functional Reactive GUI Programming with Modal Types | Internas | Passa sumo |
| All publications | Internas | Passa sumo |
| University of Copenhagen | Externas | Passa sumo |
| University of Nottingham | Externas | Passa sumo |
| Utrecht University | Externas | Passa sumo |
| PhD | Internas | Passa sumo |
| MSc | Internas | Passa sumo |
| Computational Logic | Externas | Passa sumo |
| Dresden University of Technology | Externas | Passa sumo |
| Vienna University of Technology | Externas | Passa sumo |
| BSc | Internas | Passa sumo |
| Computer Science | Externas | Passa sumo |
| Detailed bio | Internas | Passa sumo |
| PADL 2026 | Externas | Passa sumo |
| TFP 2026 | Externas | Passa sumo |
| HASKELL 2025 | Externas | Passa sumo |
| WPTE 2025 | Externas | Passa sumo |
| NWPT 2024 | Externas | Passa sumo |
| HOPE 2024 | Externas | Passa sumo |
| ICFP 2024 | Externas | Passa sumo |
| TYPES 2024 | Externas | Passa sumo |
| PADL 2024 | Externas | Passa sumo |
| IWC 2023 | Externas | Passa sumo |
| FSCD 2023 | Externas | Passa sumo |
| TERMGRAPH 2022 | Externas | Passa sumo |
| REBLS 2021 | Externas | Passa sumo |
| REBLS 2020 | Externas | Passa sumo |
| TERMGRAPH 2020 | Externas | Passa sumo |
| PEPM 2020 | Externas | Passa sumo |
| REBLS 2019 | Externas | Passa sumo |
| MPC 2019 | Externas | Passa sumo |
| Haskell 2018 | Externas | Passa sumo |
| WGP 2015 | Externas | Passa sumo |
| MeMo 2015 | Externas | Passa sumo |
| MeMo 2014 | Externas | Passa sumo |
| TERMGRAPH 2013 | Externas | Passa sumo |
| WIR 2013 | Externas | Passa sumo |
| - | Externas | Passa sumo |
| Hakyll | Externas | Passa sumo |
Núvem de palavras-chave
types functional bahr copenhagen reactive university programming patrick committee programme
Consistência das Palavras-chave
| Palavra-chave | Conteúdo | Título | Palavras-chave | Descrição | Cabeçalhos |
|---|---|---|---|---|---|
| programme | 24 | ![]() |
![]() |
![]() |
![]() |
| committee | 22 | ![]() |
![]() |
![]() |
![]() |
| university | 11 | ![]() |
![]() |
![]() |
![]() |
| patrick | 7 | ![]() |
![]() |
![]() |
![]() |
| bahr | 7 | ![]() |
![]() |
![]() |
![]() |
Url
Domínio : bahr.io
Cumprimento : 7
Favicon
Ótimo, o site tem um favicon.
Facilidade de Impressão
Não encontrámos CSS apropriado para impressão.
Língua
Não foi declarada nenhuma língua para este site.
Dublin Core
Esta página não tira vantagens do Dublin Core.
Tipo de Documento
HTML 5
Codificação
Perfeito. O conjunto de caracteres UTF-8 está declarado.
Validação W3C
Erros : 0
Avisos : 0
Privacidade do Email
Boa! Nenhum endereço de email está declarado sob a forma de texto!
HTML obsoleto
Fantástico! Não detetámos etiquetas HTML obsoletas.
Dicas de Velocidade
![]() |
Excelente, este site não usa tablelas dentro de tabelas. |
![]() |
Perfeito. Não foram detetados estilos CSS nas etiquetas HTML! |
![]() |
Boa, o site usa poucos ficheiros CSS. |
![]() |
Perfeito, o site usa poucos ficheiros JavaScript. |
![]() |
Perfeito, o site tira vantagens da compressão gzip. |
Otimização para dispositivos móveis
![]() |
Icon Apple |
![]() |
Meta Viewport Tag |
![]() |
Conteúdo Flash |
XML Sitemap
Em falta
O site não tem um mapa XML do site (sitemap) - isto pode ser problemático.
Um mapa do site identifica todas as URLs que estão disponíveis para rastreio, incluindo informação acerca de atualizações, frequência de alterações ou a importancia de cada URL. Isto contribui para uma maior inteligência e eficiência do rastreio.
Robots.txt
https://bahr.io/robots.txt
Perfeito, o seu site tem um ficheiro robots.txt.
Analytics
Em falta
Não detetámos nenhuma ferramenta analítica de análise de atividade.
Este tipo de ferramentas (como por exemplo o Google Analytics) permite perceber o comportamento dos visitantes e o tipo de atividade que fazem. No mínimo, uma ferramenta deve estar instalada, sendo que em algumas situações mais do que uma pode ser útil.
Free SEO Testing Tool é uma ferramenta gratuita que o ajuda a avaliar o seu site