researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2008
2009
Filter by Tag
OR
AND
NOT
1
language engineering
parsing
rule-based
software engineering
software language engineering
termination
type theory
Filter by Author
OR
AND
NOT
1
Ana Bove
Benjamin Grégoire
Colin Riba
Gilles Barthe
Herman Geuvers
José Nuno Oliveira
Peter Dybjer
S. Doaitse Swierstra
Yves Bertot
Filter by Top terms
[+]
OR
AND
NOT
1
1
2008
24
abstract
alfa
calculation
checking
combinator
coq
dependent
development
engineering
extended
february
formal
international
interpretation
tutorial
type
using
LerNet ALFA Summer School (lernet)
Editions
Publications
Viewing Publication 1 - 7 from 7
2009
Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
Ana Bove
,
LuÃs Soares Barbosa
,
Alberto Pardo
,
Jorge Sousa Pinto
, editors,
Volume 5520 of
Lecture Notes in Computer Science
, Springer,
2009.
[doi]
2008
A Tutorial on Type-Based Termination
Gilles Barthe
,
Benjamin Grégoire
,
Colin Riba
.
lernet 2009
:
100-152
[doi]
Structural Abstract Interpretation: A Formal Study Using Coq
Yves Bertot
.
lernet 2009
:
153-194
[doi]
Dependent Types at Work
Ana Bove
,
Peter Dybjer
.
lernet 2009
:
57-99
[doi]
Introduction to Type Theory
Herman Geuvers
.
lernet 2009
:
1-56
[doi]
Extended Static Checking by Calculation Using the Pointfree Transform
José Nuno Oliveira
.
lernet 2009
:
195-251
[doi]
Combinator Parsing: A Short Tutorial
S. Doaitse Swierstra
.
lernet 2009
:
252-300
[doi]
Sign in
or
sign up
to see more results.