Chalmers函数编程研究小组

FP.FP历史

隐藏次要编辑-显示对输出的更改

2023年10月23日上午08:03通过帕特里克·詹森-
将第3-5行更改为:
新闻:
收件人:
现在有了一个新的[[http:chalmersfp.org|FP group page]]。

旧消息:
2017年8月3日下午01:45通过亚历克斯·格德斯-URL修复
将第19行更改为:
*米查ł页码łka、Nick Smallbone、Joel Svensson、Ann Lillieström、Anders Persson、Jonas Duregárd、[[Nikita Frolov->网址:http://mkmks.org/cv/]]、丹·罗森、安东·埃克布拉德、伊娜丽·李斯特马、艾琳·洛博·瓦布埃纳、马克西米利安·阿尔盖德网址://网址:http://www.botkes.nl]]
收件人:
*米查ł页码łka、Nick Smallbone、Joel Svensson、Ann Lillieström、Anders Persson、Jonas Duregárd、[[Nikita Frolov->网址:http://mkmks.org/cv/]]、丹·罗森、安东·埃克布拉德、伊娜丽·李斯特马、艾琳·洛博·瓦布埃纳、马克西米利安·阿尔盖德网址:http://www.botkes.nl]]
2017年1月13日下午03:43通过亚历克斯·格德斯-已将链接添加到我的个人网页
将第19行更改为:
*米查ł页码łka、Nick Smallbone、Joel Svensson、Ann Lillieström、Anders Persson、Jonas Duregárd、[[Nikita Frolov->网址:http://mkmks.org/cv/]]、丹·罗森、安东·埃克布拉德、伊娜丽·李斯特马、艾琳·洛博·瓦布埃纳、马克西米利安·阿尔盖德、亚历克斯·格德斯
收件人:
*米查ł页码łka、Nick Smallbone、Joel Svensson、Ann Lillieström、Anders Persson、Jonas Duregárd、[[Nikita Frolov->网址:http://mkmks.org/cv/]]、丹·罗森、安东·埃克布拉德、伊娜丽·利斯滕玛、艾琳·洛博·瓦布埃纳、马克西米利安·阿尔盖德,[[亚历克斯·格德斯 -> 网址:http://www.botkes.nl]]
2017年1月13日下午03:36通过亚历克斯·格德斯-加上我自己
将第19行更改为:
*米查ł页码łka、Nick Smallbone、Joel Svensson、Ann Lillieström、Anders Persson、Jonas Duregård、[[Nikita Frolov->网址:http://mkmks.org/cv/]]、丹·罗森、安东·埃克布拉德、伊娜丽·利斯滕马、艾琳·洛博·瓦布埃纳、马克西米利安·阿尔盖德
收件人:
*米查ł页码łka、Nick Smallbone、Joel Svensson、Ann Lillieström、Anders Persson、Jonas Duregárd、[[Nikita Frolov->网址:http://mkmks.org/cv/]]、丹·罗森、安东·埃克布拉德、伊娜丽·利斯滕马、艾琳·洛博·瓦布埃纳、马克西米利安·阿尔盖德、亚历克斯·格德斯
2016年10月5日上午11:55通过帕特里克·詹森-
添加了第4-5行:
*2016-10-01:三名新的学生研究助理(助理)开始参与[[(ST/)GRACeFUL]]项目:Sólrün Einarsdóttir、Oskar Abrahamsson、Björn Norgren。
*2016-09-16:从2017年起,FP研究小组将成为一个部门。任命新的司司长的进程正在进行中。
将第7-14行更改为:
*2015-08-01:Irene Lobo Valbuena开始担任博士生,与Patrik Jansson一起参与[[(ST/)GRACeFUL]]项目
*2015-03-16:新[[硕士论文]]页
*2014年12月1日:Alex Gerdes和Tobias Gedell加入[[PROWESS项目->http://www.prowessproject.eu/project/]]半年。
*2014年10月1日:在“用函数编程语言实现有限元外部演算”(functional-feec)项目中,Irene Lobo Valbuena和Simon Pfreundschuh以20%的“Amanunes”开始。
*2014年9月1日/2014年11月15日:本杰明·皮尔斯(Benjamin Pierce)在查尔默斯担任[[“禧年教授”->http://www.chalmers.se/en/departments/cse/news/Pages/chalmers-Jubileumspofersor-2014-to-cse.aspx]].
*2014-08-31/2014-09-06:[ICFP 2014哥德堡->http://icfpconference.org/icfp2014/]]
*2014年7月1日:Markus Aronsson开始担任RAWFP项目的ProjAss。从2014年10月1日起,将成为玛丽的博士生
 
收件人:
 
将第18行更改为:
*埃米尔·阿克塞尔森->http://www.cse.chalmers.se/~emax/]],[[莫阿·约翰逊->http://www.cse.chalmers.se/~乔莫阿/]]
收件人:
*[[莫阿·约翰逊->http://www.cse.chalmers.se/~jomoa/]]
将第25-26行更改为:
*[[约瑟夫·斯文宁森->http://www.cse.chalmers.se/~josefs]],[[Meng Wang->http://www.chalmers.se/cse/SV/personal/wang-meng]][[珍妮·菲利佩·伯纳迪->http://www.cse.chalmers.se/~bernardy]]、Ramona Enache、Lennart Augustsson、[[Johan Jeuring->http://www.staff.science.uu.nl网站/~jeuri101/主页/]],[[Wouter Swierstra->http://www.cse.chalmers.se/~wouter]],卡罗尔·奥斯特罗夫斯基,[[(Profiles/)Gábor Páli]],尼古拉斯·索伦松,Cláudio Amaral,比约恩·冯·西多,马格努斯·比约克
 
收件人:
*埃米尔·阿克塞尔森->http://www.cse.chalmers.se/~emax/]],[[约瑟夫·斯文宁森->http://www.cse.chalmers.se/~josefs]],[[Meng Wang->http://www.chalmers.se/cse/SV/personal/wang-meng]][[珍妮·菲利佩·伯纳迪->http://www.cse.chalmers.se/~bernardy]]、Ramona Enache、Lennart Augustsson、[[Johan Jeuring->http://www.staff.science.uu.nl网站/~jeuri101/主页/]],[[Wouter Swierstra->http://www.cse.chalmers.se/~wouter]]、卡罗尔·奥斯特洛夫斯基、[[(简介/)加博尔·帕利]]、尼克拉斯·索伦森、克劳迪奥·阿马拉尔、比约恩·冯·西多、马格努斯·比约克
 
添加第67-73行:
*2015年8月1日:艾琳·洛博·瓦布埃纳(Irene Lobo Valbuena)开始担任博士生,与帕特里克·詹森(Patrik Jansson)一起参与[[(ST/)GRACeFUL]]项目
*2015-03-16:新[[硕士论文]]页
*2014年12月1日:Alex Gerdes和Tobias Gedell加入[[PROWESS项目->http://www.prowessproject.eu/project/]]半年。
*2014年10月1日:在“用函数编程语言实现有限元外部演算”(functional-feec)项目中,Irene Lobo Valbuena和Simon Pfreundschuh以20%的“Amanunes”开始。
*2014年9月1日/2014年11月15日:本杰明·皮尔斯(Benjamin Pierce)在查尔默斯担任[[“禧年教授”->http://www.chalmers.se/en/departments/cse/news/Pages/chalmers-Jubileumspofersor-2014-to-cse.aspx]].
*2014-08-31/2014-09-06:[ICFP 2014哥德堡->http://icfpconference.org/icfp2014/]]
*2014年7月1日:Markus Aronsson开始担任RAWFP项目的ProjAss。从2014年10月1日起,将成为玛丽的博士生
2016年8月29日上午07:57通过帕特里克·詹森-
将第23-25行更改为:
*埃米尔·阿克塞尔森->http://www.cse.chalmers.se/~emax/]][[让-菲利普·伯纳迪-> http://www.cse.chalmers.se/~伯纳迪]]拉莫娜·埃纳什[[Moa Johansson->http://www.cse.chalmers.se/~jomoa/]],[[约瑟夫·斯文宁森->http://www.cse.chalmers.se/~josefs]],[[孟旺->网址://网址:www.查尔默斯/cse公司/SV/个人/王萌]] 
*米查ł页码ł灵魂,尼克·斯莫尔博内,乔尔·斯文森(Joel Svensson)、安·利利斯特罗姆(Ann Lillieström),安德斯·佩尔森(Anders Persson)、乔纳斯·杜雷格德(Jonas Duregárd)、[[Nikita Frolov->网址:http://mkmks.org/cv/]]、丹·罗森、安东·埃克布拉德、伊娜丽·利斯滕玛
 
收件人:
*埃米尔·阿克塞尔松->http://www.cse.chalmers.se/~emax/]][[莫阿·约翰逊-> http://www.cse.chalmers.se/~乔莫阿/]] 
*米查ł页码ł卡·尼克·斯莫尔博内,乔尔·斯文森(Joel Svensson)、安·利利斯特罗姆(Ann Lillieström),安德斯·佩尔森(Anders Persson)、乔纳斯·杜雷格德(Jonas Duregárd)、[[Nikita Frolov->网址://mkmks公司.组织/简历/]]、丹·罗森、安东·埃克布拉德,伊娜里·利斯滕马,艾琳·洛博·瓦布埃纳,Maximilian代数
 
将第30行更改为:
*Lennart Augusson,[[Johan Jeuring->网址:http://www.staff.science.uu.nl/~jeuri101/主页/]],[[Wouter Swierstra->http://www.cse.chalmers.se/~wouter]],卡罗尔·奥斯特罗夫斯基,[[(Profiles/)Gábor Páli]],尼古拉斯·索伦松,Cláudio Amaral,比约恩·冯·西多,马格努斯·比约克
收件人:
*[[约瑟夫·斯文宁森->http://www.cse.chalmers.se/~约瑟夫斯]],[[王蒙->http://www.chalmers.se/cse/SV/personal/wang-meng]][[珍妮·菲利佩·伯纳迪->http://www.cse.chalmers.se/~bernardy]],Ramona Enache,Lennart Augusson,[[Johan Jeuring->http://www.staff.science.uu.nl网站/~jeuri101/主页/]],[[Wouter Swierstra->http://www.cse.chalmers.se/~wouter]],卡罗尔·奥斯特罗夫斯基,[[(Profiles/)Gábor Páli]],尼古拉斯·索伦松,Cláudio Amaral,比约恩·冯·西多,马格努斯·比约克
2016年8月29日上午07:55通过帕特里克·詹森-
添加第4行:
*2016-06-01:Maximilian Algehed开始担任[[(ST/)GRACeFUL]]项目的学生研究助理(助理)
2015年9月23日上午08:02通过帕特里克·詹森-
将第4行更改为:
*2015年8月1日:Irene Lobo Valbuena开始作为一名博士生,与Patrik Jansson一起参与GRACeFUL项目
收件人:
*2015年8月1日:艾琳·洛博·瓦布纳开始作为一名博士生在[[(ST/)优雅]]与Patrik Jansson合作的项目
2015年9月23日上午07:59通过帕特里克·詹森-
添加第4行:
*2015年8月1日:艾琳·洛博·瓦布埃纳(Irene Lobo Valbuena)开始担任博士生,与帕特里克·詹森(Patrik Jansson)一起参与GRACeFUL项目
2015年3月16日下午12:27通过帕特里克·詹森-
添加第4行:
*2015-03-16:新[[硕士论文]]页
2014年12月23日,晚上11:31通过帕特里克·詹森-
将第9-11行更改为:
*2014-04-29/02:[[Idris开发者大会->https://github.com/idris-lang/idris-dev/wiki/idris-Developers-Meeting2014年4月-5月]]
*2014-02-01:[[函数编程博士生职位->http://www.chalmers.se/en/about-chalmers/vaculations/Pages/default.aspx?rmpage=job&rmjob=1912]](申请截止日期2014-03-31)
 
收件人:
 
添加了第69-70行:
*2014-04-29/02:[Idris开发商会议->https://github.com/idris-lang/idris-dev/wiki/idris-Developers-Meeting,-2014年4月-5月]]
*2014-02-01:[[函数编程博士生职位->http://www.chalmers.se/en/about-chalmers/vaculations/Pages/default.aspx?rmpage=job&rmjob=1912]](申请截止日期2014-03-31)
2014年12月23日,11:29 pm通过帕特里克·詹森-
将第4-6行更改为:
*2014年-09-01/2014-11-??:本杰明·皮尔斯(Benjamin Pierce)在查默斯(Chalmers)担任[[“禧年教授”->http://www.chalmers.se/en/departments/cse/news/Pages/chalmers-Jubileumspofersor-2014-to-cse.aspx]].
收件人:
* 2014-12-01:Alex Gerdes和Tobias Gedell加入[[PROWESS项目->http://www.prowessproject.eu/project/]]半年。
*2014年10月1日:在“用函数编程语言实现有限元外部演算”(functional-feec)项目中,Irene Lobo Valbuena和Simon Pfreundschuh以20%的“Amanunes”开始。
* 2014-09-01/2014-11-15:本杰明·皮尔斯(Benjamin Pierce)在查默斯(Chalmers)担任[[“禧年教授”->http://www.chalmers.se/en/departments/cse/news/Pages/chalmers-Jubileumspofersor-2014-to-cse.aspx]].
2014年7月3日上午10:18通过帕特里克·詹森-
添加了第4-6行:
* 2014-09-01/2014-11-??: 本杰明·皮尔斯在查尔默斯担任[[“朱比利教授”->http://www.chalmers.se/en/departments/cse/news/Pages/chalmers-Jubileumspofersor-2014-to-cse.aspx]].
*2014-08-31/2014-09-06:[ICFP 2014哥德堡->http://icfpconference.org/icfp2014/]]
*2014年7月1日:Markus Aronsson开始担任RAWFP项目的ProjAss。从2014年10月1日起,将成为玛丽的博士生
将第9-13行更改为:
*2013年11月1日:Ramona Enache开始担任FP组的PostDoc(在[[REMU项目->中http://remu.grammatical framework.org]]) 
*2013年9月12日:与爱立信同事David Engdal和Martin Lundqvist讨论Adapteva平台基带信号处理的编程挑战和开放研究问题([[slides->Attach:EngdalSlides.pdf]],pdf)
*2013年9月1日:Inari Listenmaa开始担任FP小组的博士生(在[REMU项目->中与Koen和Ramona合作http://remu.grammatical framework.org]])
*2013年8月1日:Cezar Ionescu开始担任FP组的PostDoc(在[[StrongLib项目->Strongly Typed Librarys for Programs and Proofs]]中与Patrik合作)
 
收件人:
 
添加第69-72行:
*2013-11-01:Ramona Enache开始担任FP小组的PostDoc(在[[REMU项目->http://remu.grammatical framework.org]]) 
*2013年9月12日:与爱立信同事David Engdal和Martin Lundqvist讨论Adapteva平台基带信号处理的编程挑战和开放研究问题([[slides->Attach:EngdalSlides.pdf]],pdf)
*2013年9月1日:Inari Listenmaa开始担任FP小组的博士生(在[REMU项目->中与Koen和Ramona合作http://remu.grammatical framework.org]])
*2013年8月1日:Cezar Ionescu开始担任FP组的PostDoc(在[[StrongLib项目->Strongly Typed Librarys for Programs and Proofs]]中与Patrik合作)
2014年4月30日下午02:09通过帕特里克·詹森-
添加第4行:
*2014-04-29/02:[Idris开发商会议->https://github.com/idris-lang/idris-dev/wiki/idris-Developers-Meeting2014年4月-5月]]
2014年2月6日,晚上09:04通过帕特里克·詹森-
将第4行更改为:
*2014-02-01:[[函数编程博士生职位->http://www.chalmers.se/en/about-chalmers/vaculations/Pages/default.aspx?rmpage=job&rmjob=1912]]
收件人:
*2014-02-01:[[函数编程博士生职位->http://www.chalmers.se/en/about-chalmers/vaculations/Pages/default.aspx?rmpage=job&rmjob=1912]](申请截止日期2014-03-31)
2014年2月6日,晚上09:03通过帕特里克·詹森-
添加第4行:
*2014-02-01:[[函数编程博士生职位->http://www.chalmers.se/en/about-chalmers/vaculations/Pages/default.aspx?rmpage=job&rmjob=1912]] 
2014年1月15日,09:01 pm通过玛丽·希兰-
将第5行更改为:
*2013年9月12日:我们的爱立信同事David Engdal和Martin Lundqvist就以下方面的编程挑战和开放研究问题发表了讲话基带Adapteva平台上的信号处理([[幻灯片->附件:EngdalSlides.pdf]],pdf)
收件人:
*2013年9月12日:我们的爱立信同事David Engdal和Martin Lundqvist就以下方面的编程挑战和开放研究问题发表了讲话基带Adapteva平台上的信号处理([[slides->Attach:EngdalSlides.pdf]],pdf)
2014年1月15日下午04:43通过玛丽·希兰-(应要求)放上David Engdal的幻灯片
将第5行更改为:
*2013年9月12日:爱立信同事David Engdal和Martin Lundqvist就Adapteva平台基带信号处理的编程挑战和开放研究问题发表讲话[[附件:EngdalSlides.pdf]]
收件人:
*2013年9月12日:爱立信同事David Engdal和Martin Lundqvist就Adapteva平台基带信号处理的编程挑战和开放研究问题发表讲话([[幻灯片->附件:EngdalSlides.pdf]],pdf格式)
2014年1月15日下午04:36通过玛丽·希兰-张贴David Engdal的幻灯片(应要求)
将第5行更改为:
*2013年9月12日:爱立信同事David Engdal和Martin Lundqvist就Adapteva平台上基带信号处理的编程挑战和开放研究问题发表讲话[[附:EngdalSlides.pdf(幻灯片,pdf)]]
收件人:
*2013-09-12:爱立信同事David Engdal和Martin Lundqvist就Adapteva平台基带信号处理中的编程挑战和开放研究问题进行了交谈[[附件:EngdalSlides.pdf]]
2014年1月15日下午04:35通过玛丽·希兰-(应要求)放上David Engdal的幻灯片
添加第5行:
*2013年9月12日:爱立信同事David Engdal和Martin Lundqvist就Adapteva平台基带信号处理的编程挑战和开放研究问题发表讲话[[附:EngdalSlides.pdf(slides,pdf)]]
2014年1月9日下午02:33通过帕特里克·詹森-
将第6行更改为:
*2013年8月1日:Cezar Ionescu开始担任FP组的PostDoc(在[[StrongLib项目->程序和证明的强类型库]]中与Patrik合作)
收件人:
*2013年8月1日:Cezar Ionescu开始担任FP组的PostDoc(在[[StrongLib项目->程序和证明的强类型库]]中与Patrik合作))
2014年1月9日上午11:55通过帕特里克·詹森-
将第4-5行更改为:
*2013-11-01:Ramona Enache开始担任FP组的PostDoc(在[[REMU项目->REMU.grammaralframework.org]]中)
*2013年9月1日:Inari Listenmaa开始担任FP小组的博士生(与Koen和Ramona在[[REMU项目->REMU.grammaticalframework.org]]中合作)
收件人:
*2013年11月1日:Ramona Enache开始担任FP组的PostDoc(在[[REMU项目->中网址://remu.语法框架.org]])
*2013年9月1日:Inari Listenmaa开始担任FP小组的博士生(在[REMU项目->中与Koen和Ramona合作网址://remu.语法框架.org]])
2014年1月9日上午10:42通过帕特里克·詹森-
添加第5行:
*2013年9月1日:Inari Listenmaa开始担任FP小组的博士生(与Koen和Ramona在[[REMU项目->REMU.grammaticalframework.org]]中合作)
将第19行更改为:
*米查ł页码łka、Nick Smallbone、Joel Svensson、Ann Lillieström、Anders Persson、Jonas Duregárd、[[Nikita Frolov->网址:http://mkmks.org/cv/]]、丹·罗森、安东·埃克布拉德
收件人:
*米夏ł页码łka、Nick Smallbone、Joel Svensson、Ann Lillieström、Anders Persson、Jonas Duregárd、[[Nikita Frolov->网址:http://mkmks.org/cv/]],Dan Rosén,Anton Ekblad,伊娜丽·利斯滕玛
2014年1月9日上午10:37通过帕特里克·詹森-
将第4-9行更改为:
* 2013-08-01:塞扎尔·伊奥内斯库在FP组中以PostDoc开头,6483室,电话x1089
* 2013-04-01:约翰·诺德兰德(Johan Nordlander)开始担任客座研究员(2013年4月至12月,30%)在中[[(RAWFP/)RAWFP]]项目。
*2013年4月1日:安东·埃克布拉德开始在[[(RAWFP/)RAWFP]]项目中攻读博士学位。
*2013年2月25日/2013年3月1日:乌得勒支尤里安·哈格来访(由王蒙主持)
*2013-01-28/2013-02-01:Cezar Ionescu(由Patrik Jansson主持)作为[[(GSDP/)GSDP]]项目的一部分访问
 
收件人:
*2013年-11-01:雷蒙娜珐琅在FP组中以PostDoc开头(在[[REMU项目中->remu.语法框架.org]])
*2013年8月1日:Cezar Ionescu开始担任PostDoc在中FP组(在[[StrongLib项目->Strongly Typed Libraries for Programs and Proofs]]中与Patrik合作
 
添加了第66-69行:
*2013年4月1日:约翰·诺德兰德(Johan Nordlander)开始(作为客座研究员,2013年4-12月,30%)参与[[(RAWFP/)RAWFP]]项目。
*2013年4月1日:安东·埃克布拉德开始在[[(RAWFP/)RAWFP]]项目中攻读博士学位。
*2013年2月25日/2013年3月1日:乌得勒支尤里安·哈格来访(由王蒙主持)
*2013-01-28/2013-02-01:Cezar Ionescu(由Patrik Jansson主持)作为[[(GSDP/)GSDP]]项目的一部分访问
2014年1月9日上午10:31通过帕特里克·詹森-
将第20行更改为:
*埃米尔·阿克塞尔森->http://www.cse.chalmers.se/~emax/]],[[Jean-Philippe Bernardy->http://www.cse.chalmers.se/~bernardy]],马格努斯·比约克,[[Moa Johansson->http://www.cse.chalmers.se/~jomoa/]],[[Josef Sveningsson->http://www.cse.chalmers.se/~josefs]],[[Meng Wang->http://www.chalmers.se/cse/SV/personal/wang-meng]] 
收件人:
*埃米尔·阿克塞尔森->http://www.cse.chalmers.se/~emax/]],[[Jean-Philippe Bernardy->http://www.cse.chalmers.se/~bernardy]],雷蒙娜珐琅,[[Moa Johansson->http://www.cse.chalmers.se/~jomoa/]],[[Josef Sveningsson->http://www.cse.chalmers.se/~josefs]],[[Meng Wang->http://www.chalmers.se/cse/SV/personal/wang-meng]] 
将第27行更改为:
*Lennart Augusson,[[Johan Jeuring->网址:http://www.staff.science.uu.nl/~jeuri101/主页/]],[[Wouter Swierstra->http://www.cse.chalmers.se/~wouter]],卡罗尔·奥斯特罗夫斯基,[[(Profiles/)Gábor Páli]],尼古拉斯·索伦松,Cláudio Amaral,Björn von Sydow
收件人:
*Lennart Augusson,[[Johan Jeuring->http://www.staff.science.uu.nl网站/~jeuri101/主页/]],[[Wouter Swierstra->http://www.cse.chalmers.se/~wouter]],卡罗尔·奥斯特罗夫斯基,[[(Profiles/)Gábor Páli]],尼古拉斯·索伦松,Cláudio Amaral,Björn von Sydow马格努斯·比约克
2013年11月8日下午02:34通过约瑟夫-比约恩·冯·西多现在退休了,所以这是他的网页
将第19行更改为:
*[[约翰·休斯->http://www.cse.chalmers.se/~rjmh/]],[[玛丽·希兰->http://www.cse.chalmers.se/~ms/]],[[(Profiles/)Patrik Jansson]],[科恩·林德斯特伦·克莱森->http://www.cse.chalmers.se/~koen(科恩)/]],[[Björn von Sydow->http://www.chalmers.se/cse/EN/people/sydow-bjorn-von]],[[Alejandro Russo->http://www.cse.chalmers.se/~russo/]],[[Johan Nordlander->网址:http://www.ltu.se/~nordland/]]
收件人:
*[[约翰·休斯->http://www.cse.chalmers.se/~rjmh/]],[[玛丽·希兰->http://www.cse.chalmers.se/~ms/]],[[(Profiles/)Patrik Jansson]],[科恩·林德斯特伦·克莱森->http://www.cse.chalmers.se/~koen/]],[[Alejandro Russo->http://www.cse.chalmers.se/~russo/]],[[Johan Nordlander->http://staff.www.ltuse/~nordland/]]
将第27行更改为:
*Lennart Augusson,[[Johan Jeuring->http://www.staff.science.uu.nl网站/~jeuri101/主页/]],[[Wouter Swierstra->http://www.cse.chalmers.se/~wouter]]、卡洛尔·奥斯特罗夫斯基、[[(Profiles/)加博尔·帕利]]、尼古拉斯·索伦松、科劳迪奥·阿马拉尔
收件人:
*Lennart Augusson,[[Johan Jeuring->http://www.staff.science.uu.nl网站/~jeuri101/主页/]],[[Wouter Swierstra->http://www.cse.chalmers.se/~wouter]]、卡罗尔·奥斯特洛夫斯基、[[(简介/)加博尔·帕利]]、尼克拉斯·索伦森、克劳迪奥·阿马拉尔比约恩·冯·西多