24 research outputs found
A Symmetric Approach to Compilation and Decompilation
- Author
- A. Filinski
- A. Melton
- A. Mycroft
- C. Consel
- E. Meijer
- H. Abelson
- H. Makholm
- J. Bowen
- K. A. Buettner
- L. Morris
- M. Ager Sig
- M. Goldberg
- M. H. Halstead
- M. N. Bert
- M. Wand
- M. Wand
- N. D. Jones
- N. D. Jones
- N. D. Jones
- N. D. Jones
- O. Danvy
- O. Danvy
- P. J. Brown
- P. J. Brown
- P. J. Landin
- P. Thiemann
- R. Backhouse Carl
- R. Nigel Horspool
- R. Stockton Gaines
- S. M. Abramov
- S. M. Abramov
- S.-y. Katsumata
- T. Coquand
- T. Hardin
- U. Berger
- W. Taha
- William May
- Y. Futamura
- Y. Futamura
- Publication venue
- 'Aarhus University Library'
- Publication date
- 05/08/2002
- Field of study
Just as specializing a source interpreter can achieve compilation from a source language to a target language, we observe that specializing a target interpreter can achieve compilation from the target language to the source language. In both cases, the key issue is the choice of whether to perform an evaluation or to emit code that represents this evaluation. We substantiate this observation by specializing two source interpreters and two target interpreters. We first consider a source language of arithmetic expressions and a target language for a stack machine, and then the lambda-calculus and the SECD-machine language. In each case, we prove that the target-to-source compiler is a left inverse of the source-to-target compiler, i.e., it is a decompiler. In the context of partial evaluation, compilation by source-interpreter specialization is classically referred to as a Futamura projection. By symmetry, it seems logical to refer to decompilation by target-interpreter specialization as a Futamura embedding
The Many Faces of Unification and Pluralism in Economics: The Case of Paul Samuelson's Foundations of Economic Analysis.
- Author
- Alan Coddington
- Alpha Chiang
- Carl G Hempel
- D Hands
- D Hands
- D Hands
- David
- E Weintraub
- E Weintraub
- Eugene Silberberg
- Georgescu-Roegen
- Hal Varian
- Hal Varian
- Hirofumi Uzawa
- Jaakko Kuorikoski
- James M Henderson
- James Tobin
- James Woodward
- Jeff E Biddle
- Joan Robinson
- John B Davis
- John Davis
- John Keynes
- John R Hicks
- Juan Carvajalino
- Juan Carvajalino
- Juan Carvajalino
- Kate Vredenburgh
- Kenneth J Arrow
- Kerry A Pearce
- Kevin D Hoover
- Kevin D Hoover
- Lionel W Mckenzie
- Lloyd Metzler
- Margaret Morrison
- Margaret Morrison
- Margaret Morrison
- Margaret Morrison
- Margaret Morrison
- Margaret Morrison
- Mauro Boianovsky
- Michael A Bernstein
- Michio Morishima
- Paul
- Paul A Samuelson
- Paul A Samuelson
- Paul A Samuelson
- Paul A Samuelson
- Paul A Samuelson
- Paul A Samuelson
- Paul A Samuelson
- Paul A Samuelson
- Paul A Samuelson
- Paul A Samuelson
- Paul Davidson
- Pedro Duarte
- Philip Kitcher
- Philip Kitcher
- Philip Kitcher
- Philip Kitcher
- Philip Kitcher
- Philip Kitcher
- Philip Mirowski
- Robert E Lucas
- Roger Backhouse
- Roger E Backhouse
- Roger E Backhouse
- Roger E Backhouse
- Sanjit Dhami
- Sonja M Amadae
- Uskali M�ki
- Uskali M�ki
- Uskali M�ki
- Uskali M�ki
- W Diewert
- Publication venue
- 'Elsevier BV'
- Publication date
- 01/01/2020
- Field of study
Institutionalism and Fiscal Policy at Mid-Century
- Author
- Carl Shoup
- Edward Allen
- Henry C Simons
- Henry C Simons
- Henry C Simons
- Henry Spiegel
- Herbert Stein
- Jack Barbash
- Jeff Biddle
- John Wallis
- Malcolm Rutherford
- Malcolm Rutherford
- Malcolm Rutherford
- Malcolm Rutherford
- Marianne Johnson
- Michael Bernstein
- Paul Samuelson
- R G Tugwell
- Robert Taft Of
- Roger Backhouse
- Roy Blough
- Roy Blough
- Roy Blough
- Roy Blough
- Roy Blough
- Roy Blough
- Roy Blough
- Roy Blough
- Roy Blough
- Roy Blough
- Simons
- Tipton Snavely
- Wesley C Mitchell
- William Barber
- Wisconsin Sociologist
- Publication venue
- 'Elsevier BV'
- Publication date
- 01/01/2016
- Field of study
A Symmetric Approach to Compilation and Decompilation
- Author
- A. Filinski
- A. Melton
- A. Mycroft
- C. Consel
- E. Meijer
- H. Abelson
- H. Makholm
- J. Bowen
- K. A. Buettner
- L. Morris
- M. Ager Sig
- M. Goldberg
- M. H. Halstead
- M. N. Bert
- M. Wand
- M. Wand
- N. D. Jones
- N. D. Jones
- N. D. Jones
- N. D. Jones
- O. Danvy
- O. Danvy
- P. J. Brown
- P. J. Brown
- P. J. Landin
- P. Thiemann
- R. Backhouse Carl
- R. Nigel Horspool
- R. Stockton Gaines
- S. M. Abramov
- S. M. Abramov
- S.-y. Katsumata
- T. Coquand
- T. Hardin
- U. Berger
- W. Taha
- William May
- Y. Futamura
- Y. Futamura
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Beyond Thomas Mun: The Economic Ideas of Edward Coke, Francis Bacon, and Lionel Cranfield
- Author
- A E Bland
- Alessandro Roncaglia
- Alexandra Halasz
- Andrea Finkelstein
- Astrid Friis
- Barbara Malament
- Barry E Supple
- Carl Wennerlind
- Carlos Eduardo Suprinyak
- Carlos Suprinyak
- Carlos Suprinyak
- Carlos Suprinyak
- Charles Wilson
- Christopher Hill
- Christopher Hill
- Donald O Wagner
- Edward Misselden
- Edward Misselden
- Elizabeth Foster
- Ernesto &
- F J Fisher
- Francis Bacon
- Frederick C Dietz
- J Gould
- Jacob Viner
- James Spedding
- James Spedding
- James Spedding
- Joad Raymond
- Joan &
- John Cramsie
- Joyce Appleby
- Lars Magnusson
- Mary Poovey
- Max Beer
- Menna Prestwich
- Michel Foucault
- Michel Foucault
- Murray N Rothbard
- Neal Wood
- Peter &
- Pt
- R H Tawney
- Robert K Merton
- Roger Backhouse
- Stephen D White
- Thomas Mun
- W H Price
- Wallace Notestein
- Publication venue
- 'Elsevier BV'
- Publication date
- 01/01/2013
- Field of study
On Henry George, the Austrians, and Neoclassical Choice Theory.
- Author
- Andelson
- Backhouse Roger
- Becker Gary S.
- Blaug Mark
- Bohm--Bawerk
- Bohm--Bawerk Eugen von
- Broome John
- Bruchey Stuart
- Buchanan James M.
- Diamond Peter A.
- Dome Takuo
- Elster
- Elster Jon
- Fischer Charles C.
- Fox Craig R.
- Friedman Milton
- Gaffney
- Gaffney Mason
- Geiger George R.
- George
- George
- George
- George
- George
- George
- George
- George
- Gilboa Itzhak
- Harrison Fred
- Horwitz Steven
- Jonsson Petur O.
- Kirzner Israel M.
- Kreps David M.
- Landreth Harry
- Lissner Will
- Locke John
- Macvane S. M.
- Menger Carl
- Mises Ludwig von
- Negishi Takashi
- Nelson Richard R.
- Newell Allen
- Niehans
- O'Driscoll
- Petur O.
- Petur O.
- Petur O. Jonsson
- Rawls John
- Roll Eric
- Rothbard Murray N.
- Schumpeter
- Schumpeter
- Schumpeter Joseph A.
- Simon Herbert A.
- Walras
- Wieser
- Wieser Friedrich von
- Yeager
- Yeager Leland B.
- Zupan Mark A.
- Publication venue
- 'Wiley'
- Publication date
- Field of study
Economic History and Game Theory: A Survey
- Author
- Ann M Carlos
- Ann M Carlos
- Avner Greif
- Avner Greif
- Avner Greif
- Avner Greif
- Avner Greif
- Avner Greif
- Avner Greif
- Avner Greif
- Avner Greif
- Avner Greif
- Avner Greif
- Barry Weingast
- Bruce E Carruthers
- Bruce L Benson
- C North
- Carl Shapiro
- Caroline M Fohlin
- Chaim Fershtman
- Colin Camerer
- D Lewis
- David Gabel
- David Weiman
- Donald N Mccloskey
- Douglas Irwin
- Douglas W Diamond
- Douglass C North
- Douglass C North
- Douglass C North
- Douglass C North
- Drew Fudenberg
- E Davis
- Edward J Green
- Edward J Green
- Eric Rasmusen
- Everett Kantor
- Gary Gorton
- Glenn Ellison
- Gregory Clark
- H S Farber
- Hilton L Root
- J J Rotemberg
- J Ramseyer
- James A Brander
- James A Conklin
- James A Conklin
- Janice Kinghorn
- Jean-Laurent Rosenthal
- Jean-Louis Arcand
- John H Maurer
- John M Veitch
- John Nye
- John Sutton
- John Treble
- Karen Clay
- Kevin Murphy
- L Telser
- Larry Neal
- Marco Da Rin
- Margaret C Levenstein
- Margaret C Levenstein
- Margaret C Levenstein
- Max Weber
- Paul A David
- Paul A David
- Paul A David
- Paul A David
- Paul A David
- Paul R Milgrom
- R Axelrod
- R Burns Malcolm
- R M Hartwell
- Robert H Porter
- Roger B Myerson
- Roger B Myerson
- Roger Backhouse
- Rondo Cameron
- Samuel H Williamson
- Sandeep Baliga
- Stanley Reiter
- T Hoffman
- Thomas Schelling
- Publication venue
- 'Elsevier BV'
- Publication date
- 01/01/1998
- Field of study
Economics as a 'Tooled' Discipline: Lawrence R. Klein and the Making of Macroeconometric Modeling, 1939-1959
- Author
- ( Mss
- . D Ph
- ________
- _________
- _________
- __________
- ___________
- ___________
- ___________
- ____________
- ____________
- ____________
- ____________
- ____________
- _____________
- _____________
- _____________
- _____________
- _____________
- ______________
- ______________
- ______________
- ______________
- ______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- _______________
- ________________
- ________________
- ________________
- ________________
- ________________
- ________________
- ________________
- ________________
- ________________
- ________________
- ________________
- _________________
- _________________
- _________________
- _________________
- _________________
- _________________
- _________________
- __________________
- ___________________
- ___________________
- ___________________
- A Cournot
- A F Burns
- A F Burns
- A Meltzer
- A Samuelson Paul
- A Spanos
- A W C Burns
- A W Phillips
- Alan Bollard
- Alan Coddington
- Alan M Turing
- Alan Sweezy
- Alan Walters
- Albert Ando
- Albert Ando
- Albert O Hirschman
- Alfred Marshall
- Alfred Nobel
- Alvin H Hansen
- Andrej Svoren?�k
- Annie L Cot
- Annie L Cot
- Antonella Rancan
- Ariane Dupont-Kieffer
- Arnold Zellner
- Arthur M Schlesinger
- Arthur S Goldberger
- Arthur Smithies
- Aur�lien Goutsmedt
- B __________________ (forthcoming
- Brian Black
- Byrd L Jones
- B�atrice Cherrier
- Carl F Christ
- Carol S Carson
- Charles R Hulten
- Christopher Sims
- Clifford Hildreth
- Clifford Hildreth Papers
- Colin Clark
- Colin Wright
- Constance Reid
- Crauford Goodwin
- Daniel B Klein
- David A Grier
- David Colander
- David F Hendry
- David F Hendry
- David Kaiser
- David Plotke
- David Teira
- Daza
- De Vroey
- De Vroey
- De Vroey
- De Vroey
- Don Patinkin
- Donald E Moggridge
- Donald Mackenzie
- Dorothy Ross
- Dorothy S Brady
- Duo Qin
- E B Wilson
- E Weintraub
- Economics Thermodynamics
- Edward E Leamer
- Edward Nell
- Elke Muchlinski
- Erich Pinzzn-Fuchs
- Evans
- Floris Heukelom
- Francis W Dresch
- Francisco Lou��
- Franciso Lou��
- Franco Modigliani
- Franco Modigliani
- Frank Long
- G J Santoni
- G L S Shackle
- G R Feiwell
- Gary S Becker
- Gary S Becker
- Geoffrey M Hodgson
- Gerd Gigerenzer
- Giorgio Israel
- Giovanna Garrone
- Glenn
- Gottfried Haberler
- Harald Hagemann
- Harro Maas
- Harro Maas
- Herbert
- Herbert Stein
- Ian Hacking
- Ignazio Visco
- Irma Adelman
- J Duncan
- J Hammond
- J M Clark
- Jacob L Mosak
- Jacob Marschak
- Jacob Marschak
- Jacob Viner
- James Forder
- James N Morgan
- James S Duesenberry
- Jamie Cohen-Cole
- Jan R Magnus
- Jan Tinbergen
- Jan Tinbergen
- Jerome Hunsaker
- Joel Isaac
- John J Mathew
- John Johnston
- John M Keynes
- John M Keynes
- John N Keynes
- John R Hicks
- Joseph A Schumpeter
- Joseph Rouse
- Jos� Edwards
- Juan G Carvajalino
- Judith Favereau
- J�r�me Lallement
- Karl A Fox
- Kevin D Hoover
- L Yeager
- La Objectif De
- Lanny Ebenstein
- Lawrence H Summers
- Lawrence R Klein
- Lawrence Wittner
- Leo Corry
- Leon H Keyserling
- Leonard Silk
- Lorraine J Daston
- Lorraine J Daston
- L�on Walras
- M Pesaran
- Marcel Boumans
- Marcel Boumans
- Marion Fourcade
- Marvin Goodfriend
- Mary S Morgan
- Mary S Morgan
- Mary S Morgan
- Matthieu Renault
- Michael D Intriligator
- Michael E Brady
- Michel Armatte
- Michel Foucault
- Milton Friedman
- Milton Friedman
- Milton Friedman
- Milton Friedman
- Milton Friedman
- Milton Gilbert
- Mordecai Ezekiel
- M�rcia L Balisciano
- Nobelprize
- Olav Bjerkholt
- Olav Bjerkholt
- Oskar Lange
- P C B Phillips
- Pascal Bridel
- Patricia Clavin
- Paul A Samuelson
- Paul G Fisher
- Pedro _______________
- Pedro Duarte
- Pedro Duarte
- Pedro Duarte
- Peter E Rossi
- Philip Mirowski
- Philip Mirowski
- Philip Mirowski
- Phillipe Fontaine
- Pinz�n-Fuchs
- R ____________
- R _______________
- R _______________
- R _______________
- R Klein Lawrence
- Ragnar Frisch
- Raymond Goldsmith
- Raymond J Saulnier
- Richard Stone
- Richard Stone
- Robert Ferber
- Robert Leeson
- Robert Lucas
- Robert S Herren
- Robert Solow
- Robert W Fogel
- Roberto S Mariano
- Roger Backhouse
- Roger Backhouse
- Roger Backhouse
- Roman Frigg
- Ronald B Bodkin
- Ronald G Bodkin
- Ross Emmett
- Rutledge Vining
- Ryan Daza
- S J Prais
- S S Schweber
- Schatzki Theodore
- Seymour E Harris
- Simon Kuznets
- Solomon Fabricant
- Stephen K Bailey
- T M Brown
- Ta-Chung Liu
- Theodore M Porter
- Theodore R Schatzki
- Thomas A Stapleford
- Thomas C Leonard
- Thomas Kuhn
- Thomas Mayer
- Tiago Mata
- Till D�ppe
- Tony Lawson
- Trygve Haavelmo
- W Brazelton
- W C
- Wade Hands
- Walter A Friedman
- Walter Lippmann
- Wesley C Mitchell
- William J Baumol
- William Jaff�
- Winton U Solberg
- Zvi Griliches
- Publication venue
- 'Elsevier BV'
- Publication date
- 01/01/2017
- Field of study
Cultural Signifiers of Web Site Images
- Author
- A. Douglas
- A. Gaspay
- A. Giddens
- A. Kappos
- A. Marcus
- A. Smith
- A. Strauss
- A. Vance
- A. Wu
- B. Cutler
- B. Glaser
- B. Glaser
- B. Ives
- B. Shore
- C. Carpenter
- C. Cheung
- C. Darwin
- C. Darwin
- C. Peirce
- C. Salinas
- C. Sia
- D. Alden
- D. Buss
- D. Buss
- D. Carl
- D. Cyr
- D. Cyr
- D. Cyr
- D. Cyr
- D. Ford
- D. Kim
- D. Kopel
- D. Lehman
- D. Leidner
- D. Luna
- D. Straub
- D. Whetten
- D. Wilson
- E. Loiacono
- E. Lupton
- E. Monod
- E. Schein
- E. Senstrom
- F. Graham
- F. Nah
- F. Saussure de
- F. Trompenaars
- F. Zahedi
- F. Zahedi
- F. Zandpour
- Fatemeh "Mariam" Zahedi
- G. Ailon
- G. Hofstede
- G. Hofstede
- G. Musson
- G. Olsen
- G. Rose
- Gaurav Bansal
- H. Cheng
- H. Sun
- I. Choi
- I. Choi
- I. Fang
- J. Backhouse
- J. Barkow
- J. Berger
- J. Garcia
- J. Johnson-Eilola
- J. Kendall
- J. McClave
- J. Nantel
- J. Nisbitt
- J. Piaget
- J. Riegelberger
- J. Tooby
- K. Amant
- K. Distin
- K. Frith
- K. Jameson
- K. Kang
- K. Liu
- L. Milner
- M. Al-Khaldi
- M. De Luque
- M. De Mooji
- M. Gelfand
- M. Javidan
- M. Nadin
- M. Srite
- N. Gontier
- N. Kock
- N. Kock
- N. Kock
- N. Kock
- N. Singh
- N. Singh
- O. Ducrot
- P. Andersen
- P. Deans
- P. Miniard
- P. Palvia
- P. Richardson
- R. Baskerville
- R. Chowdhury
- R. Davison
- R. Dawkins
- R. Durrant
- R. Harris
- R. Karen
- R. LaRossa
- R. Nisbett
- R. Nisbett
- R. Rice
- R. Schumacker
- R. Volti
- S. Blackmore
- S. Gangestad
- S. Kale
- S. McCoy
- S. Okazaki
- S. Robbins
- S. Simon
- T. Barron
- T. Clark
- T. French
- T. Masuda
- U. Steinbrück
- V. Dirksen
- W. Orlikowski
- W. Senner
- Y. Moon
- Y. Zhang
- Publication venue
- 'M. E. Sharpe Inc.'
- Publication date
- Field of study
Scientific Progress in Strategic Management: The Case of the Resource-Based View
- Author
- : Nicolai
- Adam M Brandenburger
- Alexander Rosenberg
- Allison Davis-Blake
- Arend Richard
- Balakrishnan
- Birger Wernerfelt
- Birger Wernerfelt
- Birgitte Gr�gaard
- Carl Menger
- Colin Camerer
- D Hands
- David Bloor
- David Levy
- David Lewis
- Dimaggio Paul
- Donald Maccloskey
- Edward H Bowman
- Emile Durkheim
- Fred Dansereau
- Friedrich A Von Hayek
- Giovanni Dosi
- Harold Kincaid
- Imre Lakatos
- Ingemar Dierickx
- J Hackman
- J Nicolai
- J Nicolai
- J O&apos
- James S Coleman
- Jay B Barney
- Jay B Barney
- Jay B Barney
- Jerker Denrell
- John B Davis
- John Dupr�
- John Ferejohn
- Jon Elster
- Joseph Agassi
- Joseph T Mahoney
- Joseph T Mahoney
- K J Arrow
- Karl R Popper
- Karl R Popper
- Kathleen M Eisenhardt
- Kirsten Foss
- Kirsten Foss
- Kirsten Foss
- Kwan Kai-Man
- L J Bourgeois
- Larry Laudan
- Lars Udehn
- Margaret A Peteraf
- Marjorie A Lyles
- Mark Blaug
- Michael E Porter
- Michael Silberstein
- Milton Friedman
- Moshe Farjoun
- Nicolai J Foss
- Nicolai J Foss
- Nicolai J Foss
- Nicolai J. Foss
- Oliver E Williamson
- Oliver Hart
- P F Lazarsfeld
- Pankaj Ghemawat
- Paul J Milgrom
- Peter Abel
- R L Priem
- Raymond Boudon
- Raza Mir
- Raza Mir
- Richard Lipsey
- Richard Makadok
- Richard Makadok
- Robert E Lucas
- Roger A Backhouse
- Roger Koppl
- Rom Harr�
- Roy Bhaskar
- Russell Coff
- Russell Coff
- Sidney G Winter
- Snejina Hutchings
- Steven A Lippman
- Steven A Lippman
- Steven A Lippman
- Stoelhorst
- Teppo Felin
- Teppo Felin
- Thomas Kuhn
- Thomas Powell
- Thomas Powell
- Uskali M�ki
- Uskali M�ki
- Publication venue
- 'Elsevier BV'
- Publication date
- 01/01/2005
- Field of study