Stack Exchange Network

Stack Exchange network consists of 176 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
Loading…
  1. 0
  2. +0
    • Tour Start here for a quick overview of the site
    • Help Center Detailed answers to any questions you might have
    • Meta Discuss the workings and policies of this site
    • About Us Learn more about Stack Overflow the company
    • Business Learn more about hiring developers or posting ads with us
  3. Log in Sign up
  4. current community

    • Computer Science
      help chat
    • Computer Science Meta

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog
Computer Science
  1. Home
    1. Questions
    2. Tags
    3. Users
    4. Unanswered
    5. Jobs
Profile Activity
Meta user
Network profile
xuq01

Reputation

1,150
  • 1.2k
  • 641
  • 133
  • 2018
  • 2019
  • 2020
  • 2021

Top tag

programming-languages

Next privilege

2,000 Rep.
Edit questions and answers

Badges

8
15

Newest

 Yearling

Next badge

0/1
Informed

Impact

~12k
people reached
2 posts edited
35 helpful flags
91 votes cast
Summary Answers Questions Tags Badges Bookmarks Bounties Reputation All actions

15 Answers

Votes Activity Newest
3
What does it mean that a let-binding can be treated polymorphically, only if its right-hand side is a syntactic value?
Sep 4 '19 at 5:45
2
Beta reduction order in Lambda calulus
Jan 11 '19 at 23:37
3
The first Turing machine
Dec 20 '18 at 0:08
45
Do any programming languages use general recursive functions as their basis?
Jul 30 '18 at 13:54
2
If it's Possible to Create the If-Statement from Simpler Primitives
Jul 11 '18 at 14:05
6
What are the concequences of the unit type and the unit value being the same?
Jul 14 '18 at 6:44
2
Symbolic Evaluation for Type Inference in a Dynamic Language
Jul 11 '18 at 13:49
2
Defining an HTML Template as an Algebraic Type
Jul 8 '18 at 16:21
6
How CompCert “proves” different things in its codebase
Jun 29 '18 at 5:25
5
An example of something you can formally verify with proofs in Software Development
Jun 23 '18 at 18:00
3
Given a Turing machine M, is there a TM that computes the number of states M has?
Jun 21 '18 at 17:15
3
Introduction to type theory for a beginner?
May 4 '18 at 1:52
0
Are mathematical functions used in computer science?
May 4 '18 at 1:41
4
What is a fixpoint?
Jun 25 '17 at 8:26
4
Can String be a subtype of Character in a programming language?
May 14 '17 at 4:01
Computer Science
  • Tour
  • Help
  • Chat
  • Contact
  • Feedback
  • Mobile
Company
  • Stack Overflow
  • For Teams
  • Advertise With Us
  • Hire a Developer
  • Developer Jobs
  • About
  • Press
  • Legal
  • Privacy Policy
  • Terms of Service
Stack Exchange
Network
  • Technology
  • Life / Arts
  • Culture / Recreation
  • Science
  • Other
  • Stack Overflow
  • Server Fault
  • Super User
  • Web Applications
  • Ask Ubuntu
  • Webmasters
  • Game Development
  • TeX - LaTeX
  • Software Engineering
  • Unix & Linux
  • Ask Different (Apple)
  • WordPress Development
  • Geographic Information Systems
  • Electrical Engineering
  • Android Enthusiasts
  • Information Security
  • Database Administrators
  • Drupal Answers
  • SharePoint
  • User Experience
  • Mathematica
  • Salesforce
  • ExpressionEngine® Answers
  • Stack Overflow em Português
  • Blender
  • Network Engineering
  • Cryptography
  • Code Review
  • Magento
  • Software Recommendations
  • Signal Processing
  • Emacs
  • Raspberry Pi
  • Stack Overflow на русском
  • Code Golf
  • Stack Overflow en español
  • Ethereum
  • Data Science
  • Arduino
  • Bitcoin
  • Software Quality Assurance & Testing
  • Sound Design
  • Windows Phone
  • more (28)
  • Photography
  • Science Fiction & Fantasy
  • Graphic Design
  • Movies & TV
  • Music: Practice & Theory
  • Worldbuilding
  • Video Production
  • Seasoned Advice (cooking)
  • Home Improvement
  • Personal Finance & Money
  • Academia
  • Law
  • Physical Fitness
  • Gardening & Landscaping
  • Parenting
  • more (10)
  • English Language & Usage
  • Skeptics
  • Mi Yodeya (Judaism)
  • Travel
  • Christianity
  • English Language Learners
  • Japanese Language
  • Chinese Language
  • French Language
  • German Language
  • Biblical Hermeneutics
  • History
  • Spanish Language
  • Islam
  • Русский язык
  • Russian Language
  • Arqade (gaming)
  • Bicycles
  • Role-playing Games
  • Anime & Manga
  • Puzzling
  • Motor Vehicle Maintenance & Repair
  • Board & Card Games
  • Bricks
  • Homebrewing
  • Martial Arts
  • The Great Outdoors
  • Poker
  • Chess
  • Sports
  • more (16)
  • MathOverflow
  • Mathematics
  • Cross Validated (stats)
  • Theoretical Computer Science
  • Physics
  • Chemistry
  • Biology
  • Computer Science
  • Philosophy
  • Linguistics
  • Psychology & Neuroscience
  • Computational Science
  • more (10)
  • Meta Stack Exchange
  • Stack Apps
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram

site design / logo © 2021 Stack Exchange Inc; user contributions licensed under cc by-sa. rev 2021.3.3.38704