robennals's Grossman:D [3 articles] Export Sort

Recent papers posted to robennals's library by the author Grossman:D. You can also see everyone's Grossman:D.

Hide details

	AtomCaml: first-class atomicity via rollback [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, Vol. 40, No. 9. (September 2005), pp. 92-104. by Michael F. Ringenburg, Dan Grossman posted to no-tag by robennals on 2006-02-16 15:03:34 as along with 3 people tautologico nikomatsakis pedagand
	Cyclone: A safe dialect of c [My Copy] (2002) by T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, Y. Wang posted to c-like language regions by robennals on 2005-11-21 10:52:16 as along with 7 people and 1 group mattmight tautologico MattOConnor bdauvergne krisn11 _Anne_ srccheck U Combinator
	Region-Based Memory Management in Cyclone [My Copy] In Proceedings of the 2002 Conference on Programming Language Design and Implementation ({PLDI}) by Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney posted to c-like language regions by robennals on 2005-11-21 10:38:17 as

Note: You may cite this page as: http://www.citeulike.org/user/robennals/author/Grossman:D

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.

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

bibtex-import	273
language	32
c-like	15
np	15
transactions	13
linear-types	11
hardware	8
task-splitting	8
functional	8
haskell	7
intel	7
regions	7
refactoring	6
java	6
micropayments	6
concurrent	6
parsing	5
mypapers	5
concurrency	4
language-translation	4
web	4
old	4
type-classes	4
security	4
micropayments-criticism	4
jekyll	4
rfc	3
dataflow	3
ghc	3
language-acceptance	3
compilers	3
flat-fee	2
old-programs	2
pretty-printing	2
theory	2
cobol	2
monads	2
recommended	2
paclang	2
nonblocking	2
microsoft	2
strictness-analysis	2
lazy-evaluation	2
type-system	2
language-views	2
ownership-types	2
survey	2
tcc	1
linear	1
lock-changing	1
views	1
networking	1
semantics	1
parser	1
genenics	1
micropayments-donation	1
generics	1
economics	1
gc	1
fault-tolerance	1

robennals's Grossman:D [3 articles] Export Sort

robennals's tags