JeffreyPalmer's type-theory [15 articles] Export

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

Hide details

	A framework for implementing pluggable type systems [My Copy] SIGPLAN Not., Vol. 41, No. 10. (October 2006), pp. 57-74. by Chris Andreae, James Noble, Shane Markstrum, Todd Millstein posted to java type-theory by JeffreyPalmer on 2006-12-09 19:24:45 as
	Static Typing Where Possible, Dynamic Typing When Needed [My Copy] Workshop on Revival of Dynamic Languages (2005) by Erik Meijer, Peter Drayton posted to language-implementation type-theory by JeffreyPalmer on 2006-01-09 23:32:15 as along with 6 people and 1 group dherman hamish ben_moseley bunge ds msakai NU-PRL
	Strongtalk: typechecking Smalltalk in a production environment [My Copy] In OOPSLA '93: Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, Vol. 28, No. 10. (October 1993), pp. 215-230. by Gilad Bracha, David Griswold posted to smalltalk type-theory by JeffreyPalmer on 2005-12-20 19:00:18 as along with 3 people akuhn marcoil hamish
	Linear types can change the world! [My Copy] In IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel (1990), pp. 347-359. by P. Wadler edited by M. Broy, C. Jones posted to type-theory by JeffreyPalmer on 2005-08-20 02:10:22 as along with 11 people and 2 groups draganigajic dherman JacquesC hamish rwtodd jrw tautologico bfraser robennals ds mcclurmc NU-PRL Lambda the Ultimate
	Simple relational correctness proofs for static analyses and program transformations [My Copy] (2004) by N. Benton posted to type-theory by JeffreyPalmer on 2005-02-25 02:11:48 as
	Once upon a type [My Copy] In Functional Programming Languages and Computer Architecture (1995) by David N. Turner, Philip Wadler, Christian Mossin posted to type-theory by JeffreyPalmer on 2005-02-23 17:56:56 as along with 7 people and 3 groups dherman JacquesC A_Olympia kschiess cedricboidin tautologico robennals NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
	A Polymorphic Type System for Extensible Records and Variants [My Copy] No. NOTTCS-TR-96-3. (November 1996) by Benedict R. Gaster, Mark P. Jones posted to type-theory by JeffreyPalmer on 2005-02-16 01:55:05 as along with 7 people and 1 group dherman sstrickl tautologico thsutton lyongu ryanc americovargas NU-PRL
	The essence of principal typings [My Copy] (2002) by J. Wells posted to type-theory by JeffreyPalmer on 2005-02-11 03:29:05 as along with 1 person Benja
	What are principal typings and what are they good for? [My Copy] In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 42-53. by Trevor Jim posted to type-theory by JeffreyPalmer on 2005-02-11 03:27:43 as along with 2 people and 1 group pnkfelix tautologico ConcertRG
	A Modal $λ$ Calculus with Iteration and Case Constructs [My Copy] No. RR-3322. by Pierre Leleu posted to type-theory by JeffreyPalmer on 2005-01-29 17:19:51 as along with 1 person and 1 group JacquesC NU-PRL
	A practical soft type system for scheme [My Copy] ACM Trans. Program. Lang. Syst., Vol. 19, No. 1. (January 1997), pp. 87-152. by Andrew K. Wright, Robert Cartwright posted to scheme type-theory by JeffreyPalmer on 2005-01-28 05:04:10 as along with 3 people and 1 group samth dsilva shaurz NU-PRL
	Type Inference in MLj [My Copy] (2000) by B. Mcadam, A. Kennedy, N. Benton posted to java sml type-theory by JeffreyPalmer on 2005-01-23 14:07:47 as
	Introduction to Lambda Calculus [My Copy] In Aspen\aes Workshop on Implementation of Functional Languages, G\"oteborg (1988) by H. P. Barendregt posted to type-theory by JeffreyPalmer on 2005-01-02 19:10:03 along with 17 people and 2 groups GorgeousNicko statistic01 yoriyuki pedagand darinm draganigajic yallop pintman glaubersp robertoalamino biehl namin mvermaat d23 SamB enochguimond MikolkaMikolka Lambda the Ultimate logics of knowledge
	What are principal typings and what are they good for? [My Copy] In ACM Symposium on Principles of Programming Languages (POPL), St.~Petersburg Beach, Florida (1996), pp. 42-53. by Trevor Jim edited by Ac posted to type-theory by JeffreyPalmer on 2005-01-02 19:08:00 along with 3 people and 1 group twleung dherman croys NU-PRL
	Putting Type Annotations to Work [My Copy] In Conference Record of POPL '96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersberg Beach, Florida (1996), pp. 54-67. by Martin Odersky, Konstantin Läufer posted to type-theory by JeffreyPalmer on 2005-01-02 19:05:47 along with 3 people and 1 group twleung JacquesC pedagand NU-PRL

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

language-implementation	36
compilers	35
dsms	27
functional-programming	26
monads	23
dsl	21
erlang	18
query-languages	15
type-theory	15
haskell	14
scheme	13
lisp	12
continuations	11
multi-stage-languages	11
requirements	11
query-optimization	10
components	9
partial-evaluation	9
sml	8
distributed-computing	7
concurrent-programming	6
macros	6
smalltalk	6
version-management	6
common-sense	5
google-tech	5
language-design	5
ontology	5
oop	5
search	5
combinators	4
configuration-management	4
distributed-dsms	4
extension-languages	4
for-matt	4
ml	4
modules	4
algorithms	3
folksonomy	3
interactive-fiction	3
ocaml	3
optimization	3
parsers	3
simulation	3
ide	2
information-retrieval	2
interactive-drama	2
java	2
knowledge-representation	2
metaocaml	2
nlg	2
query-operators	2
security	2
soa	2
social-software	2
testing	2
collaboration	1
compression	1
design-patterns	1
development-tools	1
distributions	1
finance	1
history	1
hypertext	1
jvm	1
misc	1
narrative	1
rapid-prototyping	1
rewriting	1
statistics	1
storage	1
tags	1
virtual-machines	1
web-services	1
xml	1

JeffreyPalmer's type-theory [15 articles] Export

JeffreyPalmer's tags