shimomura's tags

1978 1982 1985 1987 1990 1991 1993 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 abstraction agda automata bebop blast booleanprogram bounded c ccs cml compiler concurrent continuation coq deadlock dependenttype erlang exception flow gadt gui haskell implementation java linertype logic ltl modelchecking nepi pi pict predicate proof read resource scheme secure sessiontype slam sos specification systemf technicalreport testing thread timed transformation type verification wxhaskell

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.