shimomura's tags

1978 1982 1985 1987 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 abstraction agda arrow automata bebop blast booleanprogram bounded c ccs cml compiler concurrent continuation coq deadlock dependenttype engineer erlang event exception flow gadt gui haskell implementation java javascript linertype logic ltl modelchecking nepi pi pict predicate programming proof read refactoring resource scheme science secure sessiontype slam software sos specification systemf technicalreport testcasegeneration testing thread timed transformation type usability 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.