mattmight's type-theory [13 articles] Export

Recent papers added to mattmight's library classified by the tag type-theory. You can also see everyone's type-theory.

	The derivative of a regular type is its type of one-hole contexts [My Copy] (2001) by Conor McBride posted to type-theory derivative by mattmight on 2009-10-07 17:09:43 as along with 7 people and 2 groups robertjohnsimmons pedagand dherman eaubin zednenem josefs ryanc ConcertRG NU-PRL
	Gradual typing for functional languages [My Copy] In Scheme and Functional Programming Workshop (September 2006) by Jeremy G. Siek, Walid Taha posted to type-theory by mattmight on 2009-07-15 05:33:35 as along with 2 people shimomura msakai
	Eliminating array bound checking through dependent types [My Copy] In PLDI '98: Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation (1998), pp. 249-257. by Hongwei Xi, Frank Pfenning posted to dependent-types type-theory by mattmight on 2009-07-15 05:28:36 as along with 1 person yang
	Polymorphism and separation in hoare type theory [My Copy] In ICFP '06: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (2006), pp. 62-73. by Aleksandar Nanevski, Greg Morrisett, Lars Birkedal posted to dependent-types hoare-logic type-theory verification by mattmight on 2009-07-14 23:05:36 as
	Ynot: Dependent types for imperative programs [My Copy] In ICFP '08: Proceeding of the 13th ACM SIGPLAN International Conference on Functional Programming (2008), pp. 229-240. by Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal posted to dependent-types type-theory by mattmight on 2009-07-14 23:01:55 as along with 2 people jimburton byorgey
	Soft typing [My Copy] In PLDI '91: Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation (1991), pp. 278-292. by Robert Cartwright, Mike Fagan posted to type-theory by mattmight on 2009-07-14 22:55:46 as along with 1 person mperalta
	Establishing object invariants with delayed types [My Copy] In OOPSLA '07: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-oriented programming systems and applications (2007), pp. 337-350. by Manuel Fahndrich, Songtao Xia posted to non-nullability type-theory by mattmight on 2009-07-14 22:47:00 as along with 1 person ama08r
	Declaring and checking non-null types in an object-oriented language [My Copy] In OOPSLA '03: Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-oriented programing, systems, languages, and applications (2003), pp. 302-312. by Manuel Fähndrich, Rustan posted to non-nullability type-theory by mattmight on 2009-07-14 22:45:07 as
	Intuitionistic type theory [My Copy] Vol. 1 (1984) by Per Martin-Löf posted to type-theory by mattmight on 2009-07-14 22:36:04 as along with 2 people GorgeousNicko mperalta
	Principal type-schemes for functional programs [My Copy] In POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1982), pp. 207-212. by Luis Damas, Robin Milner posted to damas-milner ml type-inference type-theory by mattmight on 2009-07-11 23:56:32 as along with 9 people ddemange keigoi spl draganigajic tautologico gkuan shimomura pedagand zuleger
	Linear Types Can Change the World! [My Copy] In Programming Concepts and Methods (April 1990) by Philip Wadler posted to linear-type type-theory by mattmight on 2009-06-20 03:34:59 as
	A type-based escape analysis for functional languages [My Copy] Journal of Functional Programming, Vol. 8, No. 3. (1998), pp. 239-273. by John Hannan posted to escape-analysis static-analysis type-based-analysis type-theory by mattmight on 2009-06-20 03:26:00 as
	A theory of type polymorphism in programming [My Copy] Journal of Computer and System Sciences, Vol. 17, No. 3. (December 1978), pp. 348-375. by Robin Milner posted to ml type-theory by mattmight on 2009-06-20 02:47:05 as along with 8 people robertjohnsimmons azwinkau amp269 jkominek tautologico lyongu calvins shimomura

Note: You may cite this page as: http://www.citeulike.org/user/mattmight/tag/type-theory

static-analysis	41
abstract-interpretation	25
cfa	20
parsing	15
control-flow-analysis	14
type-theory	13
security	7
verification	7
alias-analysis	6
compiler	6
shape-analysis	6
model-checking	5
environment-analysis	4
lambda-calculus	4
macros	4
ml	4
parallelization	4
abstract-counting	3
abstract-garbage-collection	3
constraint-solving	3
cps	3
dependent-types	3
dissertation	3
escape-analysis	3
gamma-cfa	3
scheme	3
sml	3
specification	3
theorem-proving	3
cek	2
compilers	2
continuation	2
data-flow-analysis	2
delta-cfa	2
frame-strings	2
haskell	2
hoare-logic	2
lexing	2
non-nullability	2
operating-systems	2
pointer-analysis	2
predicate-abstraction	2
pushdown-automata	2
type-based-analysis	2
anf	1
benchmarking	1
c	1
cfl	1
context-free-grammars	1
continuation-passing-style	1
coq	1
coroutine	1
coroutine-fusion	1
damas-milner	1
dependence	1
derivative	1
dod	1
error-correcting-codes	1
exceptions	1
existential-cfa	1
flattening	1
functional-programming	1
galois-connection	1
ghc	1
grammars	1
graph-reachability	1
information-theory	1
java	1
lfa	1
linear-type	1
llvm	1
logic-flow-analysis	1
malware	1
mlton	1
partial-evaluation	1
pda	1
peer-review	1
peg	1
pushdown-analysis	1
r5rs	1
reachability-analysis	1
register-allocation	1
regular-expressions	1
scala	1
sensor-nets	1
software-engineering	1
ssa	1
stack	1
super-beta	1
symbolic-execution	1
termination	1
transducer-fusion	1
tree-automata	1
tvla	1
type-inference	1
ucombinator	1
wcet	1

mattmight's type-theory [13 articles] Export

mattmight's tags