欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
JSR 16 - J2EE Connector Architecture JSR 51 - New I/O APIs for the Java Platform JSR 94 - Java Rule Engine API JSR 107 - JCACHE - Java Temporary Caching API JSR 127 - JavaServer Faces
