Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Onderzoeker

Georgios Karachalias

Profiel

Projecten

Publicaties

Activiteiten

Prijzen & Erkenningen

1 Resultaat

2015

GADTs meet their match : pattern-matching warnings that account for GADTs, guards, and laziness

Georgios KarachaliasTom SchrijversDimitrios VytiniotisSimon Peyton Jones

P1 Conferentie

2015