People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Update your professional profile, manage your online reputation or research the professional information of Lennart Augustsson, Consulting Engineer, Sandburst Corporation at ...
@article{15, author = {Pieter H. Hartel and Marc Feeley and Martin Alt and Lennart Augustsson and Peter Baumann and Marcel Beemster and Emmanuel Chailloux and Christine H. Flood ...
Lennart Augustsson Credit Suisse Can dependently typed programming succeed? Bruno Bernardo Ecolepolytechnique, INRIAFuturs The ImplicitCalculus of Constructions (ICC*) Abstract We ...
Line count: about 10K. Availability: Proprietary; Related publications: Partial evaluation in aircraft crew planning, Lennart Augustsson, Proceedings of PEPM 97
Joe Marshall, Nathan Baum, Juho Snellman, Jeffrey Siskind, Lennart Augustsson and others have kindly ported the programs to Common Lisp, Scheme and Haskell.
Update your professional profile, manage your online reputation or research the professional information of Lennart Augustsson, Consulting Engineer, Sandburst Corporation ...
(by Lennart Augustsson) Minimal: ray.cpp: ray.java: ray.ml: ray.sml: ray.sc: ray.lisp: ray.hs: Tighter bounding volumes: ray.cpp: ray.java: ray.ml: ray.sml: ray.sc: ray.lisp
Can Dependently Typed Programming Succeed? Lennart Augustsson [email protected] Credit Suisse 1 Wednesday, 2008 February 20
Lennart Augustsson is a Swedish computer scientist. He was previously a lecturer at the Computing Science Department at Chalmers University of Technology. ...
10 Jun 2009 ... More LLVM. Recently someone asked me on #haskell if you could use the Haskell LLVM bindings to compile some abstract syntax to a Haskell ...
London, United Kingdom - Director at Standard Chartered BankView Lennart Augustsson's (United Kingdom) professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like ...
Lennart's home page. This is my home page, this is really my home page. I.e., it's on a computer at home. You can read more about it if you really want. ...
Go see Lennart's homepage! Jessica's page. Go see Kem's page! sun, Our ...
17 Feb 2009 ... In this interview filmed at QCon SF 2008, Lennart Augustsson talks about writing DSLs in Haskell, presenting the advantages offered by the ...
Get short, timely messages from Lennart Augustsson. Twitter is a rich source of ... Name Lennart Augustsson; Location iPhone: 22.273890,114.152277 ...
8 Oct 2008 ... Standard Chartered Bank - Wholesale Banking - Leading the way in Asia, Africa and the Middle East.
Lennart Augustsson has a PhD from Computer Sciences, Chalmers University, Sweden. The thesis topic was efficient implementation of lazy functional languages ...
Linkedin
Credit Suisse (Public Company; 10,001 or more employees; CS; Banking industry): Director, (January 2006-September 2008)