Extracting programs from type class proofs

Complete and Decidable Type Inference for GADTs

Simon Loftus
Peyton Jones
See Profile
Martin Sulzmann
See Profile
Tom Schrijvers
Simon Peyton Jones
Martin Sulzmann
Dimitrios Vytiniotis

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Deep inference for automated proof tutoring

Christoph Benzmüller
Marvin Schiller
Universität Ulm
Serge Autexier
Dominik Dietrich
Marvin Schiller
Serge Autexier

January 2007

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Fault Detection and Isolation

Fontinettes Reach
Eric Duviella
Lala Rajaoarisoa
Joaquim Blesa
Karine Chuquet
See Profile
E. Duviella
L. Rajaoarisoa
J. Blesa
K. Chuquet

August 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Finding Design Patterns in Source Code

Jason Mccolm Smith
P. David Stotts
See Profile
Jason Mcc Smith
David Stotts
David Stotts

January 2003

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Computing

Dave Randall
Universität Siegen
See Profile
Mark Rouncefield
See Profile
John A Hughes
Dave R
Mark Rouncefield
Peter Tolmie

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Automatic Program Specialization for

Ulrik Schultz
See Profile
Julia Lawall
Charles Consel
Ulrik Schultz
Charles Consel

January 2000

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Improving type error diagnosis

Peter J. Stuckey
Martin Sulzmann
See Profile
Peter J. Stuckey
Martin Sulzmann
Jeremy Wazny

January 2003

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Extracting programs from type class proofs

Sulzmann, M.

January 2006

PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative P...

Towards documentation of program evolution

Thomas Vestdam
See Profile
Thomas Vestdam
Kurt Nørmark

January 2005

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Does Code Generation Promote or Prevent

Chokri Mraidha
Sébastien Gérard
Pierre Boulet
See Profile
Asma Charfi
Chokri Mraidha
Sébastien Gérard
Gif Sur Yvette
Pierre Boulet

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Classdriven attribute extraction

Ting Qian
Lenhart K. Schubert
Benjamin Van Durme
Ting Qian
Lenhart Schubert

January 2008

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

From Rules to Constraint Programs with the

Rulescp Modelling Language
François Fages
Julien Martin
Julien Martin

January 2008

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Learning string transformations from examples

Arvind Arasu
See Profile
Arvind Arasu
Surajit Chaudhuri
Raghav Kaushik

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Algorithms, Experimentation

Sheng Gao
Ludovic Denoyer
Marie Curie
Sheng Gao
Ludovic Denoyer
Patrick Gallinari
Pierre Marie Curie

January 2012

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Maintainability of Source Code?

Ana M. Fernández-sáez
Marcela Genero
Michel Chaudron
See Profile
Ana M. Fernández-sáez
Marcela Genero
Michel R. V. Chaudron

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Complete and Decidable Type Inference for GADTs

Simon Loftus
Peyton Jones
See Profile
Martin Sulzmann
See Profile
Tom Schrijvers
Simon Peyton Jones
Martin Sulzmann
Dimitrios Vytiniotis

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Deep inference for automated proof tutoring

Christoph Benzmüller
Marvin Schiller
Universität Ulm
Serge Autexier
Dominik Dietrich
Marvin Schiller
Serge Autexier

January 2007

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Fault Detection and Isolation

Fontinettes Reach
Eric Duviella
Lala Rajaoarisoa
Joaquim Blesa
Karine Chuquet
See Profile
E. Duviella
L. Rajaoarisoa
J. Blesa
K. Chuquet

August 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Finding Design Patterns in Source Code

Jason Mccolm Smith
P. David Stotts
See Profile
Jason Mcc Smith
David Stotts
David Stotts

January 2003

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Computing

Dave Randall
Universität Siegen
See Profile
Mark Rouncefield
See Profile
John A Hughes
Dave R
Mark Rouncefield
Peter Tolmie

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Automatic Program Specialization for

Ulrik Schultz
See Profile
Julia Lawall
Charles Consel
Ulrik Schultz
Charles Consel

January 2000

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Improving type error diagnosis

Peter J. Stuckey
Martin Sulzmann
See Profile
Peter J. Stuckey
Martin Sulzmann
Jeremy Wazny

January 2003

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Extracting programs from type class proofs

Sulzmann, M.

January 2006

PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative P...

Towards documentation of program evolution

Thomas Vestdam
See Profile
Thomas Vestdam
Kurt Nørmark

January 2005

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Does Code Generation Promote or Prevent

Chokri Mraidha
Sébastien Gérard
Pierre Boulet
See Profile
Asma Charfi
Chokri Mraidha
Sébastien Gérard
Gif Sur Yvette
Pierre Boulet

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Classdriven attribute extraction

Ting Qian
Lenhart K. Schubert
Benjamin Van Durme
Ting Qian
Lenhart Schubert

January 2008

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

From Rules to Constraint Programs with the

Rulescp Modelling Language
François Fages
Julien Martin
Julien Martin

January 2008

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Learning string transformations from examples

Arvind Arasu
See Profile
Arvind Arasu
Surajit Chaudhuri
Raghav Kaushik

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Algorithms, Experimentation

Sheng Gao
Ludovic Denoyer
Marie Curie
Sheng Gao
Ludovic Denoyer
Patrick Gallinari
Pierre Marie Curie

January 2012

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Maintainability of Source Code?

Ana M. Fernández-sáez
Marcela Genero
Michel Chaudron
See Profile
Ana M. Fernández-sáez
Marcela Genero
Michel R. V. Chaudron

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Complete and Decidable Type Inference for GADTs

Simon Loftus
Peyton Jones
See Profile
Martin Sulzmann
See Profile
Tom Schrijvers
Simon Peyton Jones
Martin Sulzmann
Dimitrios Vytiniotis

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Deep inference for automated proof tutoring

Christoph Benzmüller
Marvin Schiller
Universität Ulm
Serge Autexier
Dominik Dietrich
Marvin Schiller
Serge Autexier

January 2007

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Fault Detection and Isolation

Fontinettes Reach
Eric Duviella
Lala Rajaoarisoa
Joaquim Blesa
Karine Chuquet
See Profile
E. Duviella
L. Rajaoarisoa
J. Blesa
K. Chuquet

August 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Extracting programs from type class proofs

Abstract

Extracted data

Extracting programs from type class proofs

Abstract

Extracted data

Related items

Related items