hawkeye

less info

network profile

483 reputation

310

bio	website
	location	Earth, TX
	age	34
visits	member for	2 years, 9 months
	seen	May 18 at 6:36
stats	profile views	92

summary answers questions tags badges favorites bounties reputation activity

10 Questions

votes activity newest

14	Relationship between Turing Machine and Lambda calculus?
12	Why can Lambda Calculus not represent some combinators?
10	What are the theoretical limits of the Stratego Programming Language?
9	Does Pattern Calculus represent a step forward in languages or are we just going back to LISP?
6	Will Martin-Löf Type Theory lead to a greater ability to write provably correct code?

view more

483 Reputation

+5	Why can Lambda Calculus not represent some combinators?
+5	Does Pattern Calculus represent a step forward in languages or are we just going back to LISP?
+26	Will Martin-Löf Type Theory lead to a greater ability to write provably correct code?
-2	Given the following set of LISP primitives, is it possible to extend the eval function to evaluate defmacro?

view more

1 Answer

votes activity newest

0	Given the following set of LISP primitives, is it possible to extend the eval function to evaluate defmacro?

16 Tags

0 lambda-calculus × 3	0 recursion
0 computability × 3	0 scheme
0 functional-programming × 3	0 lisp
0 turing-machines × 2	0 ho.history-overview
0 lo.logic × 2	0 machine-models

view more

24 Accounts

	Stack Overflow	3,878 rep	22670
	Theoretical Computer Science	483 rep	310
	Biblical Hermeneutics	357 rep	15
	Ask Ubuntu	290 rep	515
	Server Fault	272 rep	1818

10 Badges

recent class name

Notable Question	Teacher
Yearling × 2	Scholar
Nice Question × 3	Supporter
Popular Question	Student
Editor	Autobiographer

0 Active bounties

active offered earned

This user has no active bounties

3 Votes Cast

all time			by type
3	up		0	question
0	down		3	answer

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.23.698

Theoretical Computer Science Stack Exchange works best with JavaScript enabled