Main View
This view is used for searching all possible sources.
First Page Previous Page 1 Next Page Last Page
 
1
Why Dependent Types Matter Thorsten Altenkirch Conor McBride

Restrictions Political libertarians, as well as some social ideologues and theologians, also tend to champion

E-print Network

2
Why Dependent Types Matter Thorsten Altenkirch Conor McBride

work for the computer and a great deal more work for Georges! The libertarian approach. It's reasonable the particular way the libertarian approach was implemented in Cayenne. It's perfectly reasonable to implement's not inevitable, as the other `libertarian' systems have shown. The pragmatic advantage of libertarianism

E-print Network

3
Solution
2009-01-01

Thorsten Altenkirch NBE 09How NBE (for = ??) was discovered... Helmut Schwichtenberg needed to implement ??-conversion for his MINLOG system. The implementation language was SCHEME. He wondered how he could exploit SCHEME�s evaluator... This lead to the LICS 91 paper by Berger and Schwichtenberg. Thorsten ...

E-print Network

4
School of Mathematical Sciences Undergraduate Student Handbook (Session 2010 � 2011)

-Course Director for GG41 is: Thorsten Altenkirch Room A10, School of Computer Science, Jubilee Campus. Tel: (0115 Room A31, School of Computer Science, Jubilee Campus. Tel: (0115) 84 66550 E-mail: maryam

E-print Network

5
A functional quantum programming language Thorsten Altenkirch and Jonathan Grattage

Introduction The discovery of efficient quantum algorithms by Shor [10] and Grover [2] has triggered much are not nested. The famous algorithms by Shor and Grover rely on a more subtle exploitation of this effect in certain situations. 2 Related work Peter Selinger's influential paper [8] introduces a single

E-print Network

6
DASHlink - Thorsten Hansen - NASA

Thorsten Hansen. Member since: Dec 22, 2010, ANSYS. About � Thorsten's Resources (1) � Thorsten's Projects (1) � 1 See All 1 Datasets. sort by: ...

NASA Website

7
DASHlink - Thorsten Hansen - NASA

Thorsten Hansen. Member since: Dec 22, 2010, ANSYS. About � Thorsten's Resources (1) � Thorsten's Projects (1). sort by: ...

NASA Website

8
DASHlink - Thorsten Hansen - NASA

Thorsten Hansen. Member since: Dec 22, 2010, ANSYS. About � Thorsten's Resources (1) � Thorsten's Projects (1). Affiliations (edit): ANSYS ...

NASA Website

9
A Comparison of Theoretical and Experimental Results in Flame ...

Jul 5, 1992 ... Although C02 and H2O radiation is included in the theory, ... Bhattacharjee, S., Altenkirch, R.A., A Comparison of Theoretical and ...

NASA Website

10
Unsteady Flame Spread over Solid Fuels in Microgravity

Bullard, D.B., Tang, L., Altenkirch, R.A., Bhattacharjee, S., Unsteady Flame Spread Over Solid Fuels in Microgravity, 1992 World Space Congress, IAF/COSPAR, ...

NASA Website

11
MICREX - USML-1 INDEX - Microgravity Science Division

USML-1, Altenkirch, R. A. (1), Solid Surface Combustion Experiment, Combustion Studies. Go, USML-1, Apfel, R. E. (1), Science and Technology of Surface ...

NASA Website

12
Electronic Notes in Theoretical Computer Science 44 No. 1 (2001) URL: http://www.elsevier.nl/locate/entcs/volume44.html 14 pages

://www.elsevier.nl/locate/entcs/volume44.html 14 pages When is a function a fold or an unfold? Jeremy Gibbons a , Graham Hutton b by Elsevier Science B. V. #12; Gibbons, Hutton and Altenkirch 2 Fold and unfold In this section we review #12; Gibbons, Hutton and Altenkirch a pair (A, f) comprising a set A and a function f : 1+(N �A) # A. Functions

E-print Network

13
Industrial Advisory Board
2011-06-23

'95-'96 Roger Gordon Industrial Advisory Board Abbott Laboratories Dr. Jonathan Miller Principal Scientist Abbott Laboratories 200 Abbott Park Road Abbott Park, IL 60064...

Science.gov Websites

First Page Previous Page 1 Next Page Last Page