DOIAbstract
PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming200697-10
PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming200697-10
This paper outlines the author’s experiences using the methodology of program extraction within a pr...
Programs are interpreted as types in a constructive type theory. Rules for a logic of programs can ...
Type inference is a key component of modern statically typed programming languages. It allows progra...
All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...
This paper presents a step in the development of an operational approach to program extraction in ty...
Contains fulltext : 168735.pdf (preprint version ) (Open Access)CPP 2017: 6th ACM ...
The framework Pure Type System (PTS) offers a simple and general approach to designing and formalizi...
Contains fulltext : 135252.pdf (publisher's version ) (Closed access)Fifth Interna...
Welcome to the 8th edition of Programming Languages meets Program Verification (PLPV). The PLPV se...
AbstractWe introduce a new type system called “System ST” (ST stands for subtyping), based on subtyp...
AbstractWe investigate an automated program synthesis system based on the paradigm of programming by...
Type checking and type deduction techniques for polymorphic programming language
This paper outlines the author’s experiences using the methodology of program extraction within a pr...
. A constraint-based method for deriving type declarations from program statements is described. The...
Contains fulltext : 107665.pdf (author's version ) (Open Access)Fifth Symposium on...
This paper outlines the author’s experiences using the methodology of program extraction within a pr...
Programs are interpreted as types in a constructive type theory. Rules for a logic of programs can ...
Type inference is a key component of modern statically typed programming languages. It allows progra...
All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...
This paper presents a step in the development of an operational approach to program extraction in ty...
Contains fulltext : 168735.pdf (preprint version ) (Open Access)CPP 2017: 6th ACM ...
The framework Pure Type System (PTS) offers a simple and general approach to designing and formalizi...
Contains fulltext : 135252.pdf (publisher's version ) (Closed access)Fifth Interna...
Welcome to the 8th edition of Programming Languages meets Program Verification (PLPV). The PLPV se...
AbstractWe introduce a new type system called “System ST” (ST stands for subtyping), based on subtyp...
AbstractWe investigate an automated program synthesis system based on the paradigm of programming by...
Type checking and type deduction techniques for polymorphic programming language
This paper outlines the author’s experiences using the methodology of program extraction within a pr...
. A constraint-based method for deriving type declarations from program statements is described. The...
Contains fulltext : 107665.pdf (author's version ) (Open Access)Fifth Symposium on...
This paper outlines the author’s experiences using the methodology of program extraction within a pr...
Programs are interpreted as types in a constructive type theory. Rules for a logic of programs can ...
Type inference is a key component of modern statically typed programming languages. It allows progra...
Add to ORKG