Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

namin's types [10 articles] Export

Recent papers added to namin's library classified by the tag types. You can also see everyone's types.

	Parameterized Unit Tests [My Copy] by Nikolai Tillmann, Wolfram Schulte, Wolfgang Grieskamp posted to programming testing types by namin on 2008-08-08 02:52:32 as along with 1 group Lambda the Ultimate
	Scrap your type applications [My Copy] by Barry Jay, Simon Peyton-Jones posted to logic programming types by namin on 2008-07-17 22:55:02 as along with 1 person and 2 groups draganigajic functional programming Lambda the Ultimate
	Declarative Intraprocedural Flow Analysis of Java Source Code [My Copy] by E. Nilsson-Nyman, G. Hedin, E. Magnusson, E. Torbjörn posted to compilers control-flow-graph data-flow-analysis declarative types by namin on 2008-07-08 23:37:47 as
	Evolutionary Programming and Gradual Typing in ECMAScript 4 (Tutorial) [My Copy] by Lars T. Hansen posted to javascript types by namin on 2008-07-08 23:14:51 as along with 1 person and 1 group draganigajic Lambda the Ultimate
	Towards a Type System for Analyzing JavaScript Programs [My Copy] Programming Languages and Systems (2005), pp. 408-422. by Peter Thiemann posted to compilers javascript types by namin on 2008-07-08 23:12:17 as along with 2 people and 1 group TKAB keigoi Lambda the Ultimate
	Towards Type Inference for JavaScript [My Copy] by C. Anderson, P. Giannini, S. Drossopoulou posted to compilers javascript types by namin on 2008-07-08 23:10:26 as along with 1 group Lambda the Ultimate
	The Design and Implementation of Typed Scheme [My Copy] by S. Tobin-Hochstadt, M. Felleisen posted to compilers scheme types by namin on 2008-07-08 23:07:29 as along with 1 person and 2 groups knopeace functional programming Lambda the Ultimate
	Static Type Inference for Ruby [My Copy] posted to compilers ruby types by namin on 2008-07-08 23:05:14 as
	Sparse Bidirectional Data Flow Analysis as a Basis for Type Inference [My Copy] (2004) by J. Singer posted to compilers programming types by namin on 2008-07-08 00:39:41 as
	A Sketch of Complete Type Inference for Functional Programming [My Copy] by M. Widera posted to functional programming types by namin on 2008-06-30 11:07:27 as along with 2 groups functional programming Lambda the Ultimate

Note: You may cite this page as: http://www.citeulike.org/user/namin/tag/types

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

programming	31
haskell	16
ai	10
types	10
compilers	8
meng	7
6945	6
dsel	6
microfluidic	6
fsharp	5
functional	5
logic	5
monads	5
ocaml	5
theory	5
category-theory	3
continuations	3
data-structures	3
dsl	3
expressivity	3
javascript	3
lambda-calculus	3
parsers	3
scheme	3
declarative	2
hacker	2
knowledge	2
probability	2
algorithms	1
control-flow-graph	1
data-flow-analysis	1
exceptions	1
hardware	1
ideas	1
kanren	1
library	1
macros	1
parallelism	1
pearl	1
prolog	1
reasoning	1
ruby	1
strategies	1
sussman	1
testing	1
vhdl	1
zipper	1

namin's types [10 articles] Export

namin's tags