Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Norell, Ulf - Department of Computer Science and Engineering, Chalmers University of Technology
Dependently Typed Programming in Agda Chalmers University, Gothenburg
Prototyping Generic Programming in Template Haskell
Connecting a Logical Framework to a First-Order Logic Prover
Thesis for the Degree of Licentiate of Engineering Implementing Functional
Thesis for the degree of Doctor of Philosophy Towards a practical programming
Polytypic Programming in Haskell Ulf Norell and Patrik Jansson
Thesis for the Degree of Licentiate of Engineering Implementing Functional
Functional Generic Programming and Type Ulf Norell, ulfn@cs.chalmers.se
Prototyping Generic Programming in Template Haskell
Connecting a Logical Framework to a FirstOrder Logic Prover #
olytypi rogrmming in rskell lf xorell nd trik tnsson
Type checking in the presence of meta-variables Ulf Norell and Catarina Coquand
