Computability

Results: 1315



#Item
11Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i

Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i

Add to Reading List

Source URL: mrg.doc.ic.ac.uk

Language: English - Date: 2016-08-22 17:55:56
12Powerpoint-presentation Information and Computing Sciences

Powerpoint-presentation Information and Computing Sciences

Add to Reading List

Source URL: usefulpatterns.org

Language: English - Date: 2015-04-25 08:23:03
13From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2

From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2012-08-23 01:56:39
14PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama

PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama

Add to Reading List

Source URL: www.acm.org

Language: English - Date: 2016-06-08 12:49:34
15An Introduction to Logical Relations Proving Program Properties Using Logical Relations Lau Skorstengaard Contents

An Introduction to Logical Relations Proving Program Properties Using Logical Relations Lau Skorstengaard Contents

Add to Reading List

Source URL: www.cs.uoregon.edu

Language: English - Date: 2016-06-30 02:06:10
16COMMENTARY Considerations of thin and fat Technological innovations

COMMENTARY Considerations of thin and fat Technological innovations

Add to Reading List

Source URL: uaw5810.org

Language: English - Date: 2013-03-18 20:39:32
17Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette

Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2015-01-25 16:18:54
18Convolution and Equidistribution: Sato-Tate Theorems for Finite-field Mellin Transforms Nicholas M. Katz Princeton University Press Princeton and Oxford

Convolution and Equidistribution: Sato-Tate Theorems for Finite-field Mellin Transforms Nicholas M. Katz Princeton University Press Princeton and Oxford

Add to Reading List

Source URL: web.math.princeton.edu

Language: English - Date: 2011-07-20 15:37:28
196 base types types patterns matching clause seq. constants

6 base types types patterns matching clause seq. constants

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2009-12-10 13:53:23
20Chapter 3 Simple Types We study simple types in this chapter, We first formalize a simply-typed programming language L0 and then establish its type soundness, setting some machinery for development in the following chap

Chapter 3 Simple Types We study simple types in this chapter, We first formalize a simply-typed programming language L0 and then establish its type soundness, setting some machinery for development in the following chap

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2009-12-18 13:56:03